Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Athanassios Tzouvaras" ( http://dblp.L3S.de/Authors/Athanassios_Tzouvaras )

  Author page on DBLP  Author page in RDF  Community of Athanassios Tzouvaras in ASPL-2

Publication years (Num. hits)
1992-2005 (16) 2007-2011 (4)
Publication types (Num. hits)
article(20)
Venues (Conferences, Journals, ...)
Arch. Math. Log.(6) Notre Dame Journal of Formal L...(3) Studia Logica(3) Ann. Pure Appl. Logic(2) J. Symb. Log.(2) Math. Log. Q.(2) Logic Journal of the IGPL(1) Theor. Comput. Sci.(1)
Authors
Athanassios Tzouvaras(20) Nitta Takashi(1) Okada Tomoko(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords
Results
Found 20 publication records. Showing 20 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Athanassios Tzouvaras A combinatorial result related to the consistency of New Foundations. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Athanassios Tzouvaras Erratum to: Localizing the axioms. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Athanassios Tzouvaras Localizing the axioms. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Athanassios Tzouvaras A reduction of the NF consistency problem. Search on Bibsonomy J. Symb. Log. The full citation details ... 2007 DBLP  BibTeX  RDF
1Athanassios Tzouvaras Cardinality without Enumeration. Search on Bibsonomy Studia Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Cardinality notion, wellordering, generic class, separation class, nonstandard model of arithmetic, choice, quantum mechanics
1Athanassios Tzouvaras Forcing and antifoundation. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Athanassios Tzouvaras Erratum: "Forcing and antifoundation". Search on Bibsonomy Arch. Math. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Athanassios Tzouvaras What is so special with the powerset operation? Search on Bibsonomy Arch. Math. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Powerset operator, Positive set-operator, like, independent operator
1Nitta Takashi, Okada Tomoko, Athanassios Tzouvaras Classification of non-well-founded sets and an application. Search on Bibsonomy Math. Log. Q. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Athanassios Tzouvaras An Axiomatization of 'Very' within systiems of Set Theory. Search on Bibsonomy Studia Logica The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Athanassios Tzouvaras The Logic of Multisets Continued: The Case of Disjunction. Search on Bibsonomy Studia Logica The full citation details ... 2003 DBLP  DOI  BibTeX  RDF disjunctive multiset, Horn fragment, semantics of the Horn fragment, linear logic, Multiset
1Athanassios Tzouvaras Objects and their lambda calculus. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Athanassios Tzouvaras Periodicity of Negation. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2001 DBLP  BibTeX  RDF
1Athanassios Tzouvaras Freiling's axioms of symmetry in a general setting and some applications. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000): 03C62, 03H10
1Athanassios Tzouvaras Notions of symmetry n set theory with classes. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Athanassios Tzouvaras The Linear Logic of Multisets. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Athanassios Tzouvaras Worlds of Homogeneous Artifacts. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 1995 DBLP  BibTeX  RDF
1Athanassios Tzouvaras Omega- and Beta-Models of Alternative Set Theory. Search on Bibsonomy Math. Log. Q. The full citation details ... 1994 DBLP  BibTeX  RDF
1Athanassios Tzouvaras Significant parts and identity of artifacts. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 1993 DBLP  BibTeX  RDF
1Athanassios Tzouvaras On Expandability of Models of Peano Arithmetic to Models of the Alternative Set Theory. Search on Bibsonomy J. Symb. Log. The full citation details ... 1992 DBLP  BibTeX  RDF
Displaying result #1 - #20 of 20 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.