Wybraniec-Skardowska, Urszula Categories of first-order quantifiers. (English) Zbl 07003814 Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. Stud. Univers. Log., 763-777 (2018). MSC: 03-03 03C07 PDF BibTeX XML Cite \textit{U. Wybraniec-Skardowska}, in: The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. 763--777 (2018; Zbl 07003814) Full Text: DOI Link OpenURL
Agazzi, Evandro Consistency, truth and ontology. (English) Zbl 1215.03011 Stud. Log. 97, No. 1, 7-29 (2011). MSC: 03A05 00A30 03B10 03C07 PDF BibTeX XML Cite \textit{E. Agazzi}, Stud. Log. 97, No. 1, 7--29 (2011; Zbl 1215.03011) Full Text: DOI OpenURL
Millar, Terrence Model completions and omitting types. (English) Zbl 0831.03017 J. Symb. Log. 60, No. 2, 654-672 (1995). Reviewer: G.Fuhrken (Minneapolis) MSC: 03C15 03C07 03C35 06A06 03B25 PDF BibTeX XML Cite \textit{T. Millar}, J. Symb. Log. 60, No. 2, 654--672 (1995; Zbl 0831.03017) Full Text: DOI OpenURL
Gastin, Paul Recognizable and rational languages of finite and infinite traces. (English) Zbl 0773.68046 Theoretical aspects of computer science, Proc. 8th Annu. Symp., STACS ’91, Hamburg/Ger. 1991, Lect. Notes Comput. Sci. 480, 89-104 (1991). MSC: 68Q45 68Q85 68Q10 PDF BibTeX XML Cite \textit{P. Gastin}, Lect. Notes Comput. Sci. 480, 89--104 (1991; Zbl 0773.68046) OpenURL
Dzierzgowski, Daniel A note on Fraïssé’s characterization of elementary equivalence. (English) Zbl 0795.03041 Logique Anal., Nouv. Sér. 33, No. 131-132, 273-286 (1990). MSC: 03C07 03B20 03B10 PDF BibTeX XML Cite \textit{D. Dzierzgowski}, Log. Anal., Nouv. Sér. 33, No. 131--132, 273--286 (1990; Zbl 0795.03041) OpenURL
Hofer, Gerhard Near-rings and group-automata. (English) Zbl 0642.16031 Dissertationen der Johannes Kepler-Universität Linz, 66. Wien: Verband der Wissenschaftlichen Gesellschaften Österreichs (VWGÖ). V, 91 p.; ÖS 93.00; DM 14.00 (1987). Reviewer: J.D.P.Meldrum MSC: 16Y30 68Q45 68Q70 16Nxx 16Dxx PDF BibTeX XML OpenURL
Berstel, Jean; Perrin, Dominique Theory of codes. (English) Zbl 0587.68066 Pure and Applied Mathematics, 117. Orlando etc.: Academic Press, Inc. XIV, 433 P. $ 60.00; £60.00 (1985). Reviewer: C.Reutenauer MSC: 68Q45 68Q70 68-01 94-01 94A45 20M35 20M05 20M12 20B20 60B99 16S10 PDF BibTeX XML OpenURL
Blanchard, F.; Hansel, G. Languages and subshifts. (English) Zbl 0571.68059 Automata on infinite words, Ec. Printemps Inf. Théor., Le Mont Dore 1984, Lect. Notes Comput. Sci. 192, 138-146 (1985). MSC: 68Q45 PDF BibTeX XML OpenURL
Hotz, Günter Outline of an algebraic language theory. (English) Zbl 0559.68061 Mathematical foundations of computer science, Proc. 11th Symp., Praha/Czech. 1984, Lect. Notes Comput. Sci. 176, 64-79 (1984). Reviewer: M.Armbrust MSC: 68Q45 16S10 16Y60 20M35 68N20 PDF BibTeX XML OpenURL