×

Found 146 Documents (Results 1–100)

Enumerating regular expressions and their languages. (English) Zbl 1517.68190

Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 459-491 (2021).
MSC:  68Q45 05A16
PDFBibTeX XMLCite
Full Text: DOI arXiv

Computational hermeneutics: an integrated approach for the logical analysis of natural-language arguments. (English) Zbl 07229671

Liao, Beishui (ed.) et al., Dynamics, uncertainty and reasoning. Selected papers of the second Chinese conference on logic and argumentation (CLAR 2018), Hangzhou, China, June 16–17, 2018. Singapore: Springer. Log. Asia: Stud. Log. Libr., 187-207 (2019).
MSC:  68V15 68T50
PDFBibTeX XMLCite
Full Text: DOI

Finite-state techniques. Automata, transducers and bimachines. (English) Zbl 1465.68006

Cambridge Tracts in Theoretical Computer Science 60. Cambridge: Cambridge University Press (ISBN 978-1-108-48541-8/hbk; 978-1-108-75694-5/ebook). x, 304 p. (2019).
PDFBibTeX XMLCite
Full Text: DOI

Continuity and rational functions. (English) Zbl 1442.68115

Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 115, 14 p. (2017).
MSC:  68Q70
PDFBibTeX XMLCite
Full Text: DOI

Leibniz. (English) Zbl 1392.03002

Malpass, Alex (ed.) et al., The history of philosophical and formal logic. From Aristotle to Tarski. New York, NY: Bloomsbury Academic (ISBN 978-1-4725-1350-2/hbk). 101-119 (2017).
MSC:  03-03 01A45 03A05
PDFBibTeX XMLCite

On the way to the concept of negative number. An empirical study on order relations for integers from an inferential point of view. (Auf dem Weg zum Begriff der negativen Zahl. Empirische Studie zur Ordnungsrelation für ganze Zahlen aus inferentieller Perspektive.) (German) Zbl 1294.97003

Dortmunder Beiträge zur Entwicklung und Erforschung des Mathematikunterrichts 15. Wiesbaden: Springer Spektrum (ISBN 978-3-658-04374-2/pbk; 978-3-658-04375-9/ebook). xi, 351 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI

Fundamental concepts of mathematics: genesis and development. Structure, function, number. (Grundlegende Begriffe der Mathematik: Entstehung und Entwicklung. Struktur, Funktion, Zahl.) (German) Zbl 1263.97002

Heidelberg: Springer Spektrum (ISBN 978-3-8348-1888-1/pbk; 978-3-8348-8632-3/ebook). xv, 423 p. (2012).
PDFBibTeX XMLCite
Full Text: DOI

Noncommutative rational series with applications. (English) Zbl 1250.68007

Encyclopedia of Mathematics and Its Applications 137. Cambridge: Cambridge University Press (ISBN 978-0-521-19022-0/hbk). xiii, 248 p. (2011).
PDFBibTeX XMLCite

The algebraic approach. I: The algebraization of the Chomsky hierarchy. (English) Zbl 1140.68039

Berghammer, Rudolf (ed.) et al., Relations and Kleene algebra in computer science. 10th international conference on relational methods in computer science, and 5th international conference on applications of Kleene algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7–11, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78912-3/pbk). Lecture Notes in Computer Science 4988, 155-172 (2008).
MSC:  68Q70 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Multi-grain relations. (English) Zbl 1139.68354

Holub, Jan (ed.) et al., Implementation and application of automata. 12th international conference, CIAA 2007, Prague, Czech Republic, July 16–18, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-76335-2/pbk). Lecture Notes in Computer Science 4783, 243-252 (2007).
MSC:  68Q45 68T50
PDFBibTeX XMLCite
Full Text: DOI

Walks reaching a line. (English) Zbl 1192.05009

Felsner, Stefan (ed.), 2005 European conference on combinatorics, graph theory and applications (EuroComb ’05). Extended abstracts from the conference, Technische Universität Berlin, Berlin, Germany, September 5–9, 2005. Paris: Maison de l’Informatique et des Mathématiques Discrètes (MIMD). Discrete Mathematics & Theoretical Computer Science. Proceedings. AE, 401-406, electronic only (2005).
MSC:  05A15 05A16
PDFBibTeX XMLCite
Full Text: Link

An exploration of homotopy solving in Maple. (English) Zbl 1047.65033

Li, Ziming (ed.) et al., Computer mathematics. Proceedings of the sixth Asian symposium (ASCM 2003), Beijing, China, April 17–19, 2003. River Edge, NJ: World Scientific (ISBN 981-238-220-8/hbk). Lect. Notes Ser. Comput. 10, 145-162 (2003).
MSC:  65H10 65L05 68W30 34A34 12Y05 26C10 30C15
PDFBibTeX XMLCite

Topology of diophantine sets: remarks on Mazur’s conjectures. (English) Zbl 0982.14014

Denef, Jan (ed.) et al., Hilbert’s tenth problem: relations with arithmetic and algebraic geometry. Proceedings of the workshop, Ghent University, Belgium, November 2-5, 1999. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 270, 253-260 (2000).
Reviewer: G.Lettl (Graz)
PDFBibTeX XMLCite
Full Text: arXiv

Classical and non-classical logics: essay on the foundations of logic. (Logiques classiques et non classiques: essai sur les fondements de la logique. Traduit du portugais et complété par Jean-Yves Béziau.) (French) Zbl 0901.03002

Culture Scientifique. Paris: Masson. 275 p. (1997).
MSC:  03-02 03A05 03B53
PDFBibTeX XMLCite

Current trends in SNePS - Semantic network processing system. 1st annual workshop, Buffalo, NY, November, 1989. Proceedings. (English) Zbl 0747.68008

Lecture Notes in Computer Science 437. Berlin etc.: Springer-Verlag (ISBN 3-540-52626-9). 162 p. (1990 ).
MSC:  68-06 68T30
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field