Simple view

Full metadata view

Authors

Statistics

Tautologies over implication with negative literals

2010
journal article
article
10.1002/malq.200810053
Journal
Mathematical Logic Quarterly
Author
Fournier Hervé

Gardy Danièle

Genitrini Antoine

Zaionc Marek
Volume
56
Number
4
Pages
388-396
ISSN
0942-5616
eISSN
1521-3870
Keywords in English

implicational expressions

boolean formulae

tautologies

analytic combinatorics

Language
English
Journal language
English
Affiliation
Wydział Matematyki i Informatyki : Instytut Informatyki
Scopus© citations
5
dc.affiliationWydział Matematyki i Informatyki : Instytut Informatykipl
dc.contributor.authorFournier, Hervépl
dc.contributor.authorGardy, Danièlepl
dc.contributor.authorGenitrini, Antoinepl
dc.contributor.authorZaionc, Marek - 132832 pl
dc.date.accessioned2020-07-13T07:46:48Z
dc.date.available2020-07-13T07:46:48Z
dc.date.issued2010pl
dc.description.number4pl
dc.description.physical388-396pl
dc.description.volume56pl
dc.identifier.doi10.1002/malq.200810053pl
dc.identifier.eissn1521-3870pl
dc.identifier.issn0942-5616pl
dc.identifier.projectROD UJ / Opl
dc.identifier.urihttps://ruj.uj.edu.pl/xmlui/handle/item/165732
dc.languageengpl
dc.language.containerengpl
dc.rightsDodaję tylko opis bibliograficzny*
dc.rights.licenceBez licencji otwartego dostępu
dc.rights.uri*
dc.subject.enimplicational expressionspl
dc.subject.enboolean formulaepl
dc.subject.entautologiespl
dc.subject.enanalytic combinatoricspl
dc.subtypeArticlepl
dc.titleTautologies over implication with negative literalspl
dc.title.journalMathematical Logic Quarterlypl
dc.typeJournalArticlepl
dspace.entity.typePublication
dc.affiliationpl
Wydział Matematyki i Informatyki : Instytut Informatyki
dc.contributor.authorpl
Fournier, Hervé
dc.contributor.authorpl
Gardy, Danièle
dc.contributor.authorpl
Genitrini, Antoine
dc.contributor.authorpl
Zaionc, Marek - 132832
dc.date.accessioned
2020-07-13T07:46:48Z
dc.date.available
2020-07-13T07:46:48Z
dc.date.issuedpl
2010
dc.description.numberpl
4
dc.description.physicalpl
388-396
dc.description.volumepl
56
dc.identifier.doipl
10.1002/malq.200810053
dc.identifier.eissnpl
1521-3870
dc.identifier.issnpl
0942-5616
dc.identifier.projectpl
ROD UJ / O
dc.identifier.uri
https://ruj.uj.edu.pl/xmlui/handle/item/165732
dc.languagepl
eng
dc.language.containerpl
eng
dc.rights*
Dodaję tylko opis bibliograficzny
dc.rights.licence
Bez licencji otwartego dostępu
dc.rights.uri*
dc.subject.enpl
implicational expressions
dc.subject.enpl
boolean formulae
dc.subject.enpl
tautologies
dc.subject.enpl
analytic combinatorics
dc.subtypepl
Article
dc.titlepl
Tautologies over implication with negative literals
dc.title.journalpl
Mathematical Logic Quarterly
dc.typepl
JournalArticle
dspace.entity.type
Publication
Affiliations
No affiliation
Fournier, Hervé
Gardy, Danièle
Genitrini, Antoine
Zaionc, Marek

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

Views
14
Views per month
Views per city
Ashburn
4
Wroclaw
2
Dublin
1

No access

No Thumbnail Available
Collections
ROD UJ
Research publications