András Simon

Publication Activity (10 Years)

Years Active: 1993-2015
Publications (10 Years): 0

Top Topics

Logic Programming

Theorem Proving

Theoretical Foundation

Top Venues

Publications

Szabolcs Mikulás, Ildikó Sain, András Simon
Complexity of equational theory of relational algebras with standard projection elements. Synth. 192 (7) (2015)
István Németi, András Simon
Weakly higher order cylindric algebras and finite axiomatization of the representables. Stud Logica 91 (1) (2009)
Hajnal Andréka, Steven Givant, Szabolcs Mikulás, István Németi, András Simon
Notions of Density That Imply Representability in Algebraic Logic. Ann. Pure Appl. Log. 91 (2-3) (1998)
Ian M. Hodkinson, András Simon
. J. Philos. Log. 26 (1) (1997)
István Németi, András Simon
Relation Algebras from Cylindric and Polyadic Algebras. Log. J. IGPL 5 (4) (1997)
István Németi, Ildikó Sain, András Simon
Undecidability of the Equational Theory of Some Classes of Residuated Boolean Algebras with Operators. Log. J. IGPL 3 (1) (1995)
Ágnes Kurucz, István Németi, Ildikó Sain, András Simon
Decidable and Undecidable Logics with a Binary Modality. J. Log. Lang. Inf. 4 (3) (1995)
Ágnes Kurucz, István Németi, Ildikó Sain, András Simon
Undecidable Varieties of Semilattice - ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus. Log. J. IGPL 1 (1) (1993)