×

Found 80 Documents (Results 1–80)

Decidability in local and global fields. (English) Zbl 1458.11171

Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume II. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 45-59 (2018).

Tree languages defined in first-order logic with one quantifier alternation. (English) Zbl 1170.03019

Aceto, Luca (ed.) et al., Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7–11, 2008. Proceedings, Part II. Berlin: Springer (ISBN 978-3-540-70582-6/pbk). Lecture Notes in Computer Science 5126, 233-245 (2008).
MSC:  03D05 03B25 68Q45

Proofnets for S5: sequents and circuits for modal logic. (English) Zbl 1146.03038

Dimitracopoulos, Costas (ed.) et al., Logic colloquium 2005. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Athens, Greece, July 28–August 3, 2005. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-88425-9/hbk). Lecture Notes in Logic 28, 151-172 (2008).
MSC:  03F05 03B45 03F07

Generalized power Menger algebras and generalized non-deterministic hypersubstitutions. (English) Zbl 1107.08005

Dorfer, G. (ed.) et al., Proceedings of the 70th workshop on general algebra “70. Arbeitstagung Allgemeine Algebra”, Vienna, Austria, May 26–29, 2005. Klagenfurt: Verlag Johannes Heyn (ISBN 3-7084-0194-8/pbk). Contributions to General Algebra 17, 61-70 (2006).

Algebraic classifications of regular tree languages. (English) Zbl 1092.68060

Kudryavtsev, Valery B. et al., Structural theory of automata, semigroups, and universal algebra. Proceedings of the NATO Advanced Study Institute, Montreal, Quebec, Canada, July 7–18, 2003. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-3815-1/hbk; 1-4020-3817-8/e-book). NATO Science Series II: Mathematics, Physics and Chemistry 207, 381-432 (2005).
MSC:  68Q70 08A70

Completeness of automaton mappings with respect to equivalence relations. (English) Zbl 1092.68057

Kudryavtsev, Valery B. et al., Structural theory of automata, semigroups, and universal algebra. Proceedings of the NATO Advanced Study Institute, Montreal, Quebec, Canada, July 7–18, 2003. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-3815-1/hbk; 1-4020-3817-8/e-book). NATO Science Series II: Mathematics, Physics and Chemistry 207, 77-108 (2005).
MSC:  68Q70

Filter Results by …

Access

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software