Notes on maximal congruence relations, automata and related topics. - Hajnal Andréka; Sándor Horváth; István Németi (Acta Cybern., 1973)

On the Role of Mathematical Language Concept in the Theory of Intelligent Systems. - Hajnal Andréka; Tamás Gergely; István Németi (IJCAI, 1975)

Definition Theory as Basis for a Creative Problem Solver. - T. Gorgely; Hajnal Andréka; István Németi (IJCAI, 1975)

The generalized completeness of Horn predicate-logic as a programming language. - Hajnal Andréka; István Németi (Acta Cybern., 1978)

Henkin-type semantics for program-schemes to turn negative results to positive. - Hajnal Andréka; István Németi; Ildikó Sain (FCT, 1979)

Completeness Problems in Verification of Programs and Program Schemes. - Hajnal Andréka; István Németi; Ildikó Sain (MFCS, 1979)

Model Theoretic Semantics For Many-Purpose Languages And Language Hierarchies. - Hajnal Andréka; Tamás Gergely; István Németi (COLING, 1980)

Sharpening the characterization of the power of Floyd method. - Hajnal Andréka (Logic of Programs, 1980)

Some Universal Algebraic and Model Theoretic Results in Computer Science. - Hajnal Andréka; István Németi (FCT, 1981)

A Characterization of Floyd-Provable Programs. - Hajnal Andréka; István Németi; Ildikó Sain (MFCS, 1981)

A Complete Logic for Reasoning about Programs via Nonstandard Model Theory I. - Hajnal Andréka; István Németi; Ildikó Sain (Theor. Comput. Sci., 1982)

A Complete Logic for Reasoning about Programs via Nonstandard Model Theory II. - Hajnal Andréka; István Németi; Ildikó Sain (Theor. Comput. Sci., 1982)

On the Number of Generators of Cylindric Algebras. - Hajnal Andréka; István Németi (J. Symb. Log., 1985)

A Unifying Theorem for Algebraic Semantics and Dynamic Logics - Hajnal Andréka; Irène Guessarian; István Németi (Inf. Comput., 1987)

Relatively free relation algebras. - Hajnal Andréka; Bjarni Jónsson; István Németi (Algebraic Logic and Universal Algebra in Computer Science, 1988)

On Residuated Approximations. - Hajnal Andréka; R. J. Greechie; George E. Strecker (Categorial Methods in Computer Science, 1988)

A System of Logic for Partial Functions Under Existence-Dependent Kleene Equality. - Hajnal Andréka; William Craig; István Németi (J. Symb. Log., 1988)

Algebraic Logic Conference. - Hajnal Andréka; Miklós Ferenczi; István Németi; György Serény (J. Symb. Log., 1989)

Weak Cylindric Set Algebra and Weak Subdirect Indecomposability. - Hajnal Andréka; István Németi; R. J. Thompson (J. Symb. Log., 1990)

On the Strength of Temporal Proofs. - Hajnal Andréka; István Németi; Ildikó Sain (Theor. Comput. Sci., 1991)

Applying Algebraic Logic to Logic. - Hajnal Andréka; István Németi; Ildikó Sain (AMAST, 1993)

Lambek Calculus and its relational semantics: Completeness and incompleteness. - Hajnal Andréka; Szabolcs Mikulás (J. Log. Lang. Inf., 1994)

The Lattice of Varieties of Representable Relation Algebras. - Hajnal Andréka; Steven Givant; István Németi (J. Symb. Log., 1994)

Connections Between Axioms of Set Theory and Basic Theorems of Universal Algebra. - Hajnal Andréka; Ágnes Kurucz; István Németi (J. Symb. Log., 1994)

Representations for Small Relation Algebras. - Hajnal Andréka; Roger D. Maddux (Notre Dame J. Formal Log., 1994)

Back and Forth Between Modal Logic and Classical Logic. - Hajnal Andréka; Johan van Benthem; István Németi (Log. J. IGPL, 1995)

Expressibility of Properties of Relations. - Hajnal Andréka; Ivo Düntsch; István Németi (J. Symb. Log., 1995)

Perfect Extensions and Derived Algebras. - Hajnal Andréka; Steven Givant; István Németi (J. Symb. Log., 1995)

Binary Relations and Permutation Groups. - Hajnal Andréka; Ivo Düntsch; István Németi (Math. Log. Q., 1995)

Decision problems for equational theories of relation algebras. - Hajnal Andréka; Steven Givant; István Németi (American Mathematical Society, 1997)

The finite base property for some cylindric-relativized algebras (Abstract). - Hajnal Andréka; Ian M. Hodkinson; István Németi (RelMiCS, 1997)

Complexity of Equations Valid in Algebras of Relations: Part I: Strong Non-Finitizability. - Hajnal Andréka (Ann. Pure Appl. Log., 1997)

Complexity of Equations Valid in Algebras of Relations: Part II: Finite Axiomatizations. - Hajnal Andréka (Ann. Pure Appl. Log., 1997)

Notions of Density That Imply Representability in Algebraic Logic. - Hajnal Andréka; Steven Givant; Szabolcs Mikulás; István Németi; András Simon (Ann. Pure Appl. Log., 1998)

Modal Languages and Bounded Fragments of Predicate Logic. - Hajnal Andréka; István Németi; Johan van Benthem (J. Philos. Log., 1998)

Relativised Quantification: Some Canonical Varieties of Sequence-Set Algebras. - Hajnal Andréka; Robert Goldblatt; István Németi (J. Symb. Log., 1998)

Finite Algebras of Relations Are Representable on Finite Sets. - Hajnal Andréka; Ian M. Hodkinson; István Németi (J. Symb. Log., 1999)

Groups and algebras of nary relations. - Steven Givant; Hajnal Andréka (Bull. Symb. Log., 2002)

Operators and Laws for Combining Preference Relations. - Hajnal Andréka; Mark Ryan 001; Pierre-Yves Schobbens (J. Log. Comput., 2002)

Mutual definability does not imply definitional equivalence, a simple example. - Hajnal Andréka; Judit X. Madarász; István Németi (Math. Log. Q., 2005)

Can General Relativistic Computers Break the Turing Barrier?. - István Németi; Hajnal Andréka (CiE, 2006)

New Physics and Hypercomputation. - István Németi; Hajnal Andréka (SOFSEM, 2006)

Logic of Space-Time and Relativity Theory. - Hajnal Andréka; Judit X. Madarász; István Németi (Handbook of Spatial Logics, 2007)

Omitting types for finite variable fragments and complete representations of algebras. - Tarek Sayed Ahmed; Hajnal Andréka; István Németi (J. Symb. Log., 2008)

Axiomatizing Relativistic Dynamics without Conservation Postulates. - Hajnal Andréka; Judit X. Madarász; István Németi; Gergely Székely (Stud Logica, 2008)

General relativistic hypercomputing and foundation of mathematics. - Hajnal Andréka; István Németi; Péter Németi (Nat. Comput., 2009)

The equational theory of Kleene lattices. - Hajnal Andréka; Szabolcs Mikulás; István Németi (Theor. Comput. Sci., 2011)

Residuated Kleene Algebras. - Hajnal Andréka; Szabolcs Mikulás; István Németi (Logic and Program Semantics, 2012)

Decidability, Undecidability, and Gödel's Incompleteness in Relativity Theories. - Hajnal Andréka; Judit X. Madarász; István Németi (Parallel Process. Lett., 2012)

Closed timelike Curves in relativistic Computation. - Hajnal Andréka; István Németi; Gergely Székely (Parallel Process. Lett., 2012)

A logic road from special relativity to general relativity. - Hajnal Andréka; Judit X. Madarász; István Németi; Gergely Székely (Synth., 2012)

Comparing Theories: The Dynamics of Changing Vocabulary. - Hajnal Andréka; István Németi (Johan van Benthem on Logic and Information Dynamics, 2014)

On A New Semantics for First-Order Predicate Logic. - Hajnal Andréka; Johan van Benthem; István Németi (J. Philos. Log., 2017)

On Tarski's Axiomatic Foundations of the Calculus of Relations. - Hajnal Andréka; Steven Givant; Peter Jipsen; István Németi (J. Symb. Log., 2017)

A representation theorem for measurable relation algebras. - Steven Givant; Hajnal Andréka (Ann. Pure Appl. Log., 2018)

The Variety of coset Relation Algebras. - Steven Givant; Hajnal Andréka (J. Symb. Log., 2018)

Nonrepresentable Relation Algebras from Groups - addendum. - Hajnal Andréka; István Németi; Steven Givant (Rev. Symb. Log., 2019)

Nonrepresentable Relation Algebras from Groups. - Hajnal Andréka; István Németi; Steven Givant (Rev. Symb. Log., 2020)

Two-variable Logic has Weak, but not Strong, Beth Definability. - Hajnal Andréka; István Németi (J. Symb. Log., 2021)

Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime. - Hajnal Andréka; Judit X. Madarász; István Németi; Gergely Székely (Ann. Pure Appl. Log., 2022)

No Faster-Than-Light Observers (GenRel). - Mike Stannett; Edward Higgins; Hajnal Andréka; Judit X. Madarász; István Németi; Gergely Székely (Arch. Formal Proofs, 2023)

Testing Definitional Equivalence of Theories via automorphism Groups. - Hajnal Andréka; Judit X. Madarász; István Németi; Gergely Székely (Rev. Symb. Log., 2024)