Transposition of variables is hard to describe von Andréka, H, Németi, I, Tuza, Zs

Volltext bestellen

Two-variable logic has weak, but not strong, Beth definability von Andréka, H, Németi, I

Volltext

Cylindric Set Algebras von Henkin, L, Monk, J. D, Tarski, A, Andreka, H, Nemeti, I

Volltext

A note on the submodel preservation property in fragments of first-order logic von Andréka, H, van Benthem, J, Németi, I

Volltext bestellen

Logic families von Andréka, H, Gyenis, Z, Németi, I, Sain, I

Volltext bestellen

Axiomatizing Relativistic Dynamics without Conservation Postulates von Andréka, H., Madarász, J. X., Németi, I., Székely, G.

Volltext

Term algebras of elementarily equivalent atom structures von Andréka, H, Németi, I

Volltext bestellen

On varieties of cylindric algebras with applications to logic von NEMETI, I

Volltext

Free algebras of discriminator varieties generated by finite algebras are atomic von Andréka, H, Németi, I

Volltext bestellen

How many varieties of cylindric algebras von Andréka, H, Németi, I

Volltext

Nonrepresentable relation algebras from group systems von Andréka, H, Givant, S, Németi, I

Volltext bestellen

Finite algebras of relations are representable on finite sets von Andréka, H., Hodkinson, I., Németi, I.

Volltext

Logic families von Andréka, H, Gyenis, Z, Németi, I, Sain, I

Volltext

Finite-variable logics do not have weak Beth definability property von Andréka, H, Németi, I

Volltext

Using Isabelle/HOL to verify first-order relativity theory von Stannett, M.P, Németi, I

Volltext bestellen

Comparing theories: the dynamics of changing vocabulary. A case-study in relativity theory von Andréka, H, Németi, I

Volltext

A NONPERMUTATIONAL INTEGRAL RELATION ALGEBRA von ANDREKA, H, DUNTSCH, NEMETI

Volltext

Ultraproducts of continuous posets von Andréka, H, Gyenis, Z, Németi, I

Volltext

A system of logic for partial functions under existence-dependent kleene equality von Andréka, H., Craig, W., Németi, I.

Volltext

Some universal algebraic and model theoretic results in computer science von Andréka, H., Németi, I.

Volltext