Lambert, Dakotah Relativized adjacency. (English) Zbl 07753647 J. Logic Lang. Inf. 32, No. 4, 707-731 (2023). MSC: 68Q19 68Q45 68Q70 20M35 PDFBibTeX XMLCite \textit{D. Lambert}, J. Logic Lang. Inf. 32, No. 4, 707--731 (2023; Zbl 07753647) Full Text: DOI
Henriksson, Viktor; Kufleitner, Manfred Forbidden patterns for \(\mathrm{FO}^2\) alternation over finite and infinite words. (English) Zbl 07727034 Int. J. Found. Comput. Sci. 34, No. 2-3, 183-224 (2023). MSC: 68Q45 03C13 68Q19 PDFBibTeX XMLCite \textit{V. Henriksson} and \textit{M. Kufleitner}, Int. J. Found. Comput. Sci. 34, No. 2--3, 183--224 (2023; Zbl 07727034) Full Text: DOI arXiv
Kekkonen, Hanne Do the Angles of a Triangle Add up to 180{\deg}? – Introducing Non-Euclidean Geometry. arXiv:2105.14947 Preprint, arXiv:2105.14947 [math.HO] (2021). MSC: 97M80 97B50 97G80 BibTeX Cite \textit{H. Kekkonen}, ``Do the Angles of a Triangle Add up to 180{\deg}? -- Introducing Non-Euclidean Geometry'', Preprint, arXiv:2105.14947 [math.HO] (2021) Full Text: arXiv OA License
Leopold, Cornelie Geometric aspects of scalalogy. (English) Zbl 1439.00037 J. Geom. Graph. 23, No. 2, 221-233 (2019). MSC: 00A67 51N05 97M80 PDFBibTeX XMLCite \textit{C. Leopold}, J. Geom. Graph. 23, No. 2, 221--233 (2019; Zbl 1439.00037) Full Text: Link
Chen, Ruiyuan Borel functors, interpretations, and strong conceptual completeness for \(\mathcal{L}_{\omega _1\omega }\). (English) Zbl 1457.03062 Trans. Am. Math. Soc. 372, No. 12, 8955-8983 (2019). Reviewer: Ian Malcolm Johnson (Princeton) MSC: 03E15 03G30 03C15 18C10 03C75 PDFBibTeX XMLCite \textit{R. Chen}, Trans. Am. Math. Soc. 372, No. 12, 8955--8983 (2019; Zbl 1457.03062) Full Text: DOI arXiv
Finkel, Olivier; Carton, Olivier; Lecomte, Dominique Polishness of some topologies related to word or tree automata. (English) Zbl 1454.03061 Log. Methods Comput. Sci. 15, No. 2, Paper No. 9, 21 p. (2019). MSC: 03E15 03D05 68Q45 PDFBibTeX XMLCite \textit{O. Finkel} et al., Log. Methods Comput. Sci. 15, No. 2, Paper No. 9, 21 p. (2019; Zbl 1454.03061) Full Text: arXiv
Carton, Olivier; Finkel, Olivier; Lecomte, Dominique Polishness of some topologies related to automata. (English) Zbl 1434.03100 Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 22, 16 p. (2017). MSC: 03D05 03E15 03D10 68Q45 PDFBibTeX XMLCite \textit{O. Carton} et al., LIPIcs -- Leibniz Int. Proc. Inform. 82, Article 22, 16 p. (2017; Zbl 1434.03100) Full Text: DOI
Igual, Laura; Seguí, Santi [Vitrià, Jordi; Petia Radeva, Eloi Puertas; Pujol, Oriol; Escalera, Sergio; Dantí, Francesc; Garrido, Lluís] Introduction to data science. A Python approach to concepts, techniques and applications. With contributions from Jordi Vitrià, Eloi Puertas Petia Radeva, Oriol Pujol, Sergio Escalera, Francesc Dantí and Lluís Garrido. (English) Zbl 1365.62003 Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-319-50016-4/pbk; 978-3-319-50017-1/ebook). xiv, 218 p. (2017). Reviewer: Irina Ioana Mohorianu (Norwich) MSC: 62-01 62-07 65C60 68T05 62H30 62-04 62J05 62J12 68T35 68T50 68W10 68W15 PDFBibTeX XMLCite \textit{L. Igual} and \textit{S. Seguí}, Introduction to data science. A Python approach to concepts, techniques and applications. With contributions from Jordi Vitrià, Eloi Puertas Petia Radeva, Oriol Pujol, Sergio Escalera, Francesc Dantí and Lluís Garrido. Cham: Springer (2017; Zbl 1365.62003) Full Text: DOI
Freydenberger, Dominik D.; Kötzing, Timo Fast learning of restricted regular expressions and dtds. (English) Zbl 1333.68154 Theory Comput. Syst. 57, No. 4, 1114-1158 (2015). MSC: 68Q32 68Q45 PDFBibTeX XMLCite \textit{D. D. Freydenberger} and \textit{T. Kötzing}, Theory Comput. Syst. 57, No. 4, 1114--1158 (2015; Zbl 1333.68154) Full Text: DOI Link
Finkel, Olivier; Lecomte, Dominique; Simonnet, Pierre An upper bound on the complexity of recognizable tree languages. (English) Zbl 1373.03066 RAIRO, Theor. Inform. Appl. 49, No. 2, 121-137 (2015). MSC: 03D05 03E15 03B70 68Q45 68Q15 PDFBibTeX XMLCite \textit{O. Finkel} et al., RAIRO, Theor. Inform. Appl. 49, No. 2, 121--137 (2015; Zbl 1373.03066) Full Text: DOI arXiv
Brzozowski, Janusz; Liu, Bo Quotient complexity of star-free languages. (English) Zbl 1272.68206 Int. J. Found. Comput. Sci. 23, No. 6, 1261-1276 (2012). MSC: 68Q45 68Q19 PDFBibTeX XMLCite \textit{J. Brzozowski} and \textit{B. Liu}, Int. J. Found. Comput. Sci. 23, No. 6, 1261--1276 (2012; Zbl 1272.68206) Full Text: DOI
Brzozowski, Janusz; Li, Baiyu; Ye, Yuli Syntactic complexity of prefix-, suffix-, bifix-, and factor-free regular languages. (English) Zbl 1280.68108 Theor. Comput. Sci. 449, 37-53 (2012). MSC: 68Q19 68Q45 PDFBibTeX XMLCite \textit{J. Brzozowski} et al., Theor. Comput. Sci. 449, 37--53 (2012; Zbl 1280.68108) Full Text: DOI
Pribavkina, Elena; Rodaro, Emanuele State complexity of code operators. (English) Zbl 1252.68182 Int. J. Found. Comput. Sci. 22, No. 7, 1669-1681 (2011). MSC: 68Q45 68Q19 PDFBibTeX XMLCite \textit{E. Pribavkina} and \textit{E. Rodaro}, Int. J. Found. Comput. Sci. 22, No. 7, 1669--1681 (2011; Zbl 1252.68182) Full Text: DOI
Jirásková, Galina; Masopust, Tomáš Complexity in union-free regular languages. (English) Zbl 1252.68148 Int. J. Found. Comput. Sci. 22, No. 7, 1639-1653 (2011). MSC: 68Q19 68Q45 PDFBibTeX XMLCite \textit{G. Jirásková} and \textit{T. Masopust}, Int. J. Found. Comput. Sci. 22, No. 7, 1639--1653 (2011; Zbl 1252.68148) Full Text: DOI
Holzer, Markus; Kutrib, Martin The complexity of regular(-like) expressions. (English) Zbl 1252.68174 Int. J. Found. Comput. Sci. 22, No. 7, 1533-1548 (2011). MSC: 68Q45 68Q19 PDFBibTeX XMLCite \textit{M. Holzer} and \textit{M. Kutrib}, Int. J. Found. Comput. Sci. 22, No. 7, 1533--1548 (2011; Zbl 1252.68174) Full Text: DOI
Finkel, Olivier On some sets of dictionaries whose \(\omega\)-powers have a given complexity. (English) Zbl 1203.03067 Math. Log. Q. 56, No. 5, 452-460 (2010). MSC: 03E15 54H05 68Q15 68Q45 PDFBibTeX XMLCite \textit{O. Finkel}, Math. Log. Q. 56, No. 5, 452--460 (2010; Zbl 1203.03067) Full Text: DOI arXiv
Povarov, G. A. Finite transducers and nondeterministic state complexity of regular languages. (English. Russian original) Zbl 1207.68199 Russ. Math. 54, No. 6, 19-25 (2010); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2010, No. 6, 23-31 (2010). MSC: 68Q45 PDFBibTeX XMLCite \textit{G. A. Povarov}, Russ. Math. 54, No. 6, 19--25 (2010; Zbl 1207.68199); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2010, No. 6, 23--31 (2010) Full Text: DOI
Kontinen, Juha; Vollmer, Heribert On second-order monadic monoidal and groupoidal quantifiers. (English) Zbl 1214.03025 Log. Methods Comput. Sci. 6, No. 3, Paper No. 25, 22 p. (2010). Reviewer: Alex Nabebin (Moskva) MSC: 03C80 03D05 03B15 03D15 03D40 68Q15 68Q19 PDFBibTeX XMLCite \textit{J. Kontinen} and \textit{H. Vollmer}, Log. Methods Comput. Sci. 6, No. 3, Paper No. 25, 22 p. (2010; Zbl 1214.03025) Full Text: DOI arXiv
Konstantinidis, S.; Santean, N.; Yu, S. On implementing recognizable transductions. (English) Zbl 1185.68432 Int. J. Comput. Math. 87, No. 2, 260-277 (2010). MSC: 68Q70 68Q19 68Q45 68Q42 68P30 PDFBibTeX XMLCite \textit{S. Konstantinidis} et al., Int. J. Comput. Math. 87, No. 2, 260--277 (2010; Zbl 1185.68432) Full Text: DOI
Finkel, Olivier; Simonnet, Pierre On recognizable tree languages beyond the Borel hierarchy. (English) Zbl 1190.03041 Fundam. Inform. 95, No. 2-3, 287-303 (2009). MSC: 03E15 03D05 68Q45 PDFBibTeX XMLCite \textit{O. Finkel} and \textit{P. Simonnet}, Fundam. Inform. 95, No. 2--3, 287--303 (2009; Zbl 1190.03041) Full Text: DOI
Ishikawa, Shiro; Kikuchi, Kohshi; Nakamura, Masayuki Elementary school mathematics in quantitative language. (English) Zbl 1194.00043 Far East J. Math. Educ. 2, No. 2, 165-180 (2008). MSC: 00A35 91E10 97K20 97K40 62A01 60A05 PDFBibTeX XMLCite \textit{S. Ishikawa} et al., Far East J. Math. Educ. 2, No. 2, 165--180 (2008; Zbl 1194.00043) Full Text: Link
Selivanov, Victor Wadge reducibility and infinite computations. (English) Zbl 1157.03018 Math. Comput. Sci. 2, No. 1, 5-36 (2008). MSC: 03D05 03D10 03E15 03E60 PDFBibTeX XMLCite \textit{V. Selivanov}, Math. Comput. Sci. 2, No. 1, 5--36 (2008; Zbl 1157.03018) Full Text: DOI
Harkleroad, Leon Tuning with triangles. (English) Zbl 1293.97075 Coll. Math. J. 39, No. 5, 367-373 (2008). MSC: 97M80 97G80 97F60 00A65 00A69 PDFBibTeX XMLCite \textit{L. Harkleroad}, Coll. Math. J. 39, No. 5, 367--373 (2008; Zbl 1293.97075) Full Text: DOI
Selivanov, Victor L. Fine hierarchies and m-reducibilities in theoretical computer science. (English) Zbl 1165.03023 Theor. Comput. Sci. 405, No. 1-2, 116-163 (2008). Reviewer: Albert A. Mullin (Madison) MSC: 03D55 03D05 03D15 03D20 03D30 03E15 68Q15 68Q45 PDFBibTeX XMLCite \textit{V. L. Selivanov}, Theor. Comput. Sci. 405, No. 1--2, 116--163 (2008; Zbl 1165.03023) Full Text: DOI
Selivanov, Victor L.; Wagner, Klaus W. Complexity of aperiodicity for topological properties of regular \(\omega \)-languages. (English) Zbl 1143.68039 Beckmann, Arnold (ed.) et al., Logic and theory of algorithms. 4th conference on computability in Europe, CiE 2008, Athens, Greece, June 15–20, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69405-2/pbk). Lecture Notes in Computer Science 5028, 533-543 (2008). MSC: 68Q45 03B25 03D05 03E15 68Q17 68Q25 PDFBibTeX XMLCite \textit{V. L. Selivanov} and \textit{K. W. Wagner}, Lect. Notes Comput. Sci. 5028, 533--543 (2008; Zbl 1143.68039) Full Text: DOI
Duparc, Jacques; Finkel, Olivier An \(\omega\)-power of a context-free language which is Borel above \(\Delta^0_{\omega}\). (English) Zbl 1213.03057 Bold, Stefan (ed.) et al., Foundations of the formal sciences V. Infinite games. Papers of the 5th conference, FotFS V, Bonn, Germany, November 26–29, 2004. London: King’s College Publications (ISBN 978-1-904987-75-8/pbk). Studies in Logic (London) 11, 109-122 (2007). MSC: 03E15 03D05 68Q45 PDFBibTeX XMLCite \textit{J. Duparc} and \textit{O. Finkel}, Stud. Log. (Lond.) 11, 109--122 (2007; Zbl 1213.03057)
Selivanov, Victor L. Fine hierarchy of regular aperiodic \(\omega \)-languages. (English) Zbl 1155.03310 Harju, Tero (ed.) et al., Developments in language theory. 11th international conference, DLT 2007, Turku, Finland, July 3–6, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73207-5/pbk). Lecture Notes in Computer Science 4588, 399-410 (2007). MSC: 03D05 03D55 03E15 68Q45 PDFBibTeX XMLCite \textit{V. L. Selivanov}, Lect. Notes Comput. Sci. 4588, 399--410 (2007; Zbl 1155.03310) Full Text: DOI
Tiede, Hans-Jörg; Kepser, Stephan Monadic second-order logic and transitive closure logics over trees. (English) Zbl 1262.03050 Mints, G. (ed.) et al., Proceedings of the 13th workshop on logic, language, information and computation (WoLLIC 2006), Stanford, CA, USA, July 18–21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 165, 189-199 (2006). MSC: 03B65 68Q19 68Q42 PDFBibTeX XMLCite \textit{H.-J. Tiede} and \textit{S. Kepser}, Electron. Notes Theor. Comput. Sci. 165, 189--199 (2006; Zbl 1262.03050) Full Text: DOI
Polák, Libor Minimalizations of NFA using the universal automaton. (English) Zbl 1090.68063 Int. J. Found. Comput. Sci. 16, No. 5, 999-1010 (2005). MSC: 68Q45 68Q19 PDFBibTeX XMLCite \textit{L. Polák}, Int. J. Found. Comput. Sci. 16, No. 5, 999--1010 (2005; Zbl 1090.68063) Full Text: DOI
Barrington, David A. Mix; Immerman, Neil; Lautemann, Clemens; Schweikardt, Nicole; Thérien, Denis First-order expressibility of languages with neutral letters or: The Crane Beach conjecture. (English) Zbl 1069.03021 J. Comput. Syst. Sci. 70, No. 2, 101-127 (2005). MSC: 03C13 03D05 68Q45 68P15 68Q19 03C98 PDFBibTeX XMLCite \textit{D. A. M. Barrington} et al., J. Comput. Syst. Sci. 70, No. 2, 101--127 (2005; Zbl 1069.03021) Full Text: DOI
Selivanov, Victor Wadge degrees of \(\omega\)-languages of deterministic Turing machines. (English) Zbl 1048.03031 Theor. Inform. Appl. 37, No. 1, 67-83 (2003). Reviewer: Oleg V. Belegradek (Istanbul) MSC: 03D10 03E15 03D05 03D55 68Q45 PDFBibTeX XMLCite \textit{V. Selivanov}, Theor. Inform. Appl. 37, No. 1, 67--83 (2003; Zbl 1048.03031) Full Text: DOI Numdam EuDML
Selivanov, Victor Wadge degrees of \(\omega\)-languages of deterministic Turing machines. (English) Zbl 1036.03033 Alt, Helmut (ed.) et al., STACS 2003. 20th annual symposium of theoretical aspects on computer science, Berlin, Germany, February 27 – March 1, 2003. Proceedings. Berlin: Springer (ISBN 3-540-00623-0/pbk). Lect. Notes Comput. Sci. 2607, 97-108 (2003). MSC: 03E15 03D05 03D55 03D10 68Q45 PDFBibTeX XMLCite \textit{V. Selivanov}, Lect. Notes Comput. Sci. 2607, 97--108 (2003; Zbl 1036.03033) Full Text: Link
Farin, Gerald; Hansford, Dianne The geometry toolbox for graphics and modeling. (Lineare Algebra: Ein geometrischer Zugang. Übersetzt von Guido Brunnett.) (German) Zbl 1014.15001 Springer-Lehrbuch. Berlin: Springer. xiii, 322 S. (2003). MSC: 15-01 65D18 51Nxx PDFBibTeX XMLCite \textit{G. Farin} and \textit{D. Hansford}, Lineare Algebra: Ein geometrischer Zugang. Übersetzt von Guido Brunnett. Berlin: Springer (2003; Zbl 1014.15001)
Lisovik, L. P. On descriptive systems. (English. Russian original) Zbl 1029.68141 Cybern. Syst. Anal. 37, No. 6, 800-809 (2001); translation from Kibern. Sist. Anal. 2001, No. 6, 24-36 (2001). MSC: 68T50 PDFBibTeX XMLCite \textit{L. P. Lisovik}, Cybern. Syst. Anal. 37, No. 6, 800--809 (2001; Zbl 1029.68141); translation from Kibern. Sist. Anal. 2001, No. 6, 24--36 (2001) Full Text: DOI
Chastikov, A. P.; Antipova, O. Yu.; Belov, D. L. On knowledge presentation model in terms of the vector geometry. (Russian) Zbl 1012.68188 Izv. Vyssh. Uchebn. Zaved., Sev.-Kavk. Reg., Estestv. Nauki 2000, No. 4, 15-17 (2000). Reviewer: Andrei Zemskov (Moskva) MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{A. P. Chastikov} et al., Izv. Vyssh. Uchebn. Zaved., Sev.-Kavk. Reg., Estestv. Nauki 2000, No. 4, 15--17 (2000; Zbl 1012.68188)
Vollmer, Heribert A generalized quantifier concept in computational complexity theory. (English) Zbl 0967.03035 Väänänen, Jouko (ed.), Generalized quantifiers and computation. 9th European summer school in Logic, language, and information, ESSLLI ’97 workshop, Aix-en-Provence, France, August 11-22, 1997. Revised lectures. Berlin: Springer. Lect. Notes Comput. Sci. 1754, 99-123 (1999). Reviewer: U.Schöning (Ulm) MSC: 03D15 03C80 68Q19 03C13 PDFBibTeX XMLCite \textit{H. Vollmer}, Lect. Notes Comput. Sci. 1754, 99--123 (1999; Zbl 0967.03035)
Burtschick, Hans-Jörg; Vollmer, Heribert Lindström quantifiers and leaf language definability. (English) Zbl 1319.68104 Int. J. Found. Comput. Sci. 9, No. 3, 277-294 (1998). MSC: 68Q19 03C13 03C80 68Q15 68Q45 PDFBibTeX XMLCite \textit{H.-J. Burtschick} and \textit{H. Vollmer}, Int. J. Found. Comput. Sci. 9, No. 3, 277--294 (1998; Zbl 1319.68104) Full Text: DOI
Farin, Gerald E.; Hansford, Dianne The geometry toolbox for graphics and modeling. (English) Zbl 0899.15003 Natick, MA: A K Peters. xv, 288 p. (1998). Reviewer: Johannes Wallner (Wien) MSC: 15-01 51Nxx 65D18 PDFBibTeX XMLCite \textit{G. E. Farin} and \textit{D. Hansford}, The geometry toolbox for graphics and modeling. Natick, MA: A K Peters (1998; Zbl 0899.15003)
Rogers, James Strict \(\text{LT}_2\) : regular :: local : recognizable. (English) Zbl 0945.03058 Retoré, Christian (ed.), Logical aspects of computational linguistics. 1st international conference, LACL ’96, Nancy, France, September 23-25, 1996. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1328, 366-385 (1997). MSC: 03D05 68Q45 68Q19 PDFBibTeX XMLCite \textit{J. Rogers}, Lect. Notes Comput. Sci. 1328, 366--385 (1997; Zbl 0945.03058)
Kracht, Marcus Inessential features. (English) Zbl 0896.03023 Retoré, Christian (ed.), Logical aspects of computational linguistics. 1st international conference, LACL ’96, Nancy, France, September 23–25, 1996. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1328, 43-62 (1997). Reviewer: Libor Škarvada MSC: 03B65 68Q42 PDFBibTeX XMLCite \textit{M. Kracht}, Lect. Notes Comput. Sci. 1328, 43--62 (1997; Zbl 0896.03023)
Grädel, Erich; Meer, Klaus Descriptive complexity theory over the real numbers. (English) Zbl 0861.03034 Renegar, James (ed.) et al., The mathematics of numerical analysis. 1995 AMS-SIAM summer seminar in applied mathematics, July 17–August 11, 1995, Park City, UT, USA. Providence, RI: American Mathematical Society. Lect. Appl. Math. 32, 381-403 (1996). Reviewer: W.I.Gasarch (College Park) MSC: 03D15 68Q15 68Q05 03C13 PDFBibTeX XMLCite \textit{E. Grädel} and \textit{K. Meer}, Lect. Appl. Math. 32, 381--403 (1996; Zbl 0861.03034)
Väänänen, Jouko Games and trees in infinitary logic: A survey. (English) Zbl 0905.03026 Krynicki, Michał(ed.) et al., Quantifiers: logics, models and computation. Volume one: Surveys. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 248, 105-138 (1995). Reviewer: H.-J.Vogel (Potsdam) MSC: 03C75 03-02 03C80 03C52 03E50 05C05 03E25 91A05 PDFBibTeX XMLCite \textit{J. Väänänen}, Synth. Libr. 248, 105--138 (1995; Zbl 0905.03026)
Abiteboul, Serge; Vianu, Victor Computing on structures. (English) Zbl 1418.68087 Lingas, Andrzej (ed.) et al., Automata, languages and programming. 20th international colloquium, ICALP 93, Lund, Sweden, July 5–9, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 700, 606-620 (1993). MSC: 68Q05 03B70 03D10 03D15 68P15 68Q15 68Q19 PDFBibTeX XMLCite \textit{S. Abiteboul} and \textit{V. Vianu}, Lect. Notes Comput. Sci. 700, 606--620 (1993; Zbl 1418.68087) Full Text: DOI
Kelly, Kevin T. Learning theory and descriptive set theory. (English) Zbl 0789.03041 J. Log. Comput. 3, No. 1, 27-45 (1993). MSC: 03D80 03E15 91E40 68T05 PDFBibTeX XMLCite \textit{K. T. Kelly}, J. Log. Comput. 3, No. 1, 27--45 (1993; Zbl 0789.03041) Full Text: DOI Link
Degreef, Eric; Doignon, Jean-Paul; Ducamp, André; Falmagne, Jean-Claude Languages for the assessment of knowledge. (English) Zbl 0609.92037 J. Math. Psychol. 30, 243-256 (1986). Reviewer: M.Eytan MSC: 91E99 68T99 68Q45 PDFBibTeX XMLCite \textit{E. Degreef} et al., J. Math. Psychol. 30, 243--256 (1986; Zbl 0609.92037) Full Text: DOI
Gurevich, Yuri; Shelah, Saharon Monadic theory of order and topology in ZFC. (English) Zbl 0516.03007 Ann. Math. Logic 23, 179-198 (1982). MSC: 03B25 03C85 03E15 54A05 PDFBibTeX XMLCite \textit{Y. Gurevich} and \textit{S. Shelah}, Ann. Math. Logic 23, 179--198 (1982; Zbl 0516.03007) Full Text: DOI
Gergely, T.; Ury, L. Time models for programming logics. (English) Zbl 0496.68010 Mathematical logic in computer science, Salgotarjan/Hung. 1978, Colloq. Math. Soc. Janos Bolyai 26, 359-427 (1981). MSC: 68N01 68Q60 03B10 68Q65 PDFBibTeX XML
Staiger, Ludwig Addendum to: Finite state omega-languages. (English) Zbl 0479.68076 Forschungsergeb., Friedrich-Schiller-Univ. Jena N/81/75, 4 p. (1981). MSC: 68Q45 03D05 54H05 PDFBibTeX XML
Fohmann, L. H. Ein Durchbruch zur ”Semantisierung” relationaler Datenmodelle? Das Datenmodell der Sprache LEGOL-2. (German) Zbl 0451.68052 Computing 27, 1-14 (1981). MSC: 68P20 68P05 PDFBibTeX XMLCite \textit{L. H. Fohmann}, Computing 27, 1--14 (1981; Zbl 0451.68052) Full Text: DOI
Belke, Wolfgang; Graichen, Dietmar; Starruss, Michael Nichtmetrische Klassifizierung von Informationen. Theorie und Anwendung. (German) Zbl 0477.68121 Berlin: Akademie-Verlag. VIII, 147 S., 27 Abb., 33 Tab. M 20.00 (1979). MSC: 68U20 68-01 62-01 62H30 PDFBibTeX XML