Simple view

Full metadata view

Authors

Statistics

Asymptotic densities in logic and type theory

2008
journal article
article
10.1007/s11225-008-9110-0
Journal
Studia Logica
Author
Kostrzycka Zofia

Zaionc Marek
Volume
88
Number
3
Pages
385-403
ISSN
0039-3215
eISSN
1572-8730
Keywords in English

propositional logic

asymptotic density of tautologies

probabilistic methods in logic and type theory

Language
English
Journal language
English
Affiliation
Wydział Matematyki i Informatyki : Instytut Informatyki
Scopus© citations
7
dc.affiliationWydział Matematyki i Informatyki : Instytut Informatykipl
dc.contributor.authorKostrzycka, Zofiapl
dc.contributor.authorZaionc, Marek - 132832 pl
dc.date.accessioned2019-10-31T11:49:30Z
dc.date.available2019-10-31T11:49:30Z
dc.date.issued2008pl
dc.description.number3pl
dc.description.physical385-403pl
dc.description.volume88pl
dc.identifier.doi10.1007/s11225-008-9110-0pl
dc.identifier.eissn1572-8730pl
dc.identifier.issn0039-3215pl
dc.identifier.projectROD UJ / Opl
dc.identifier.urihttps://ruj.uj.edu.pl/xmlui/handle/item/86217
dc.languageengpl
dc.language.containerengpl
dc.rightsDodaję tylko opis bibliograficzny*
dc.rights.licenceBez licencji otwartego dostępu
dc.source.integratorfalse
dc.subject.enpropositional logicpl
dc.subject.enasymptotic density of tautologiespl
dc.subject.enprobabilistic methods in logic and type theorypl
dc.subtypeArticlepl
dc.titleAsymptotic densities in logic and type theorypl
dc.title.journalStudia Logicapl
dc.typeJournalArticlepl
dspace.entity.typePublication
dc.affiliationpl
Wydział Matematyki i Informatyki : Instytut Informatyki
dc.contributor.authorpl
Kostrzycka, Zofia
dc.contributor.authorpl
Zaionc, Marek - 132832
dc.date.accessioned
2019-10-31T11:49:30Z
dc.date.available
2019-10-31T11:49:30Z
dc.date.issuedpl
2008
dc.description.numberpl
3
dc.description.physicalpl
385-403
dc.description.volumepl
88
dc.identifier.doipl
10.1007/s11225-008-9110-0
dc.identifier.eissnpl
1572-8730
dc.identifier.issnpl
0039-3215
dc.identifier.projectpl
ROD UJ / O
dc.identifier.uri
https://ruj.uj.edu.pl/xmlui/handle/item/86217
dc.languagepl
eng
dc.language.containerpl
eng
dc.rights*
Dodaję tylko opis bibliograficzny
dc.rights.licence
Bez licencji otwartego dostępu
dc.source.integrator
false
dc.subject.enpl
propositional logic
dc.subject.enpl
asymptotic density of tautologies
dc.subject.enpl
probabilistic methods in logic and type theory
dc.subtypepl
Article
dc.titlepl
Asymptotic densities in logic and type theory
dc.title.journalpl
Studia Logica
dc.typepl
JournalArticle
dspace.entity.type
Publication
Affiliations
No affiliation
Kostrzycka, Zofia
Zaionc, Marek

* The migration of download and view statistics prior to the date of April 8, 2024 is in progress.

Views
9
Views per month
Views per city
Ashburn
2
Dublin
2
Wroclaw
2

No access

No Thumbnail Available
Collections
ROD UJ
Research publications