Zum Inhalt springen

Wechler, Wolfgang [VerfasserIn]

The concept of fuzziness in automata and language theory

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin: Akademie-Verl., 1978

Erschienen in: Studien zur Algebra und ihre Anwendungen ; 5
Gill, Arthur [VerfasserIn]

Linear sequential circuits : analysis, synthesis and applications

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York: McGraw-Hill, 1966

Erschienen in: MacGraw-Hill series in systems science
Wilke, Thomas [VerfasserIn]

Automaten und Logiken zur Beschreibung zeitabhängiger Systeme

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Kiel: Inst. für Informatik und Praktische Mathematik, 1994

Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9408
Rothe, Jan [VerfasserIn]; Mašulović, Dragan [VerfasserIn]

Behavioural equivalences for coalgebras

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dresden: Techn. Univ., Fak. Informatik, 2003

Erschienen in: Technische Universität Dresden: Technische Berichte ; 2003,07
Hartmanis, Juris [VerfasserIn]; Stearns, R. E. [VerfasserIn]

Algebraic structure theory of sequential machines

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Englewood Cliffs, N.J.: Prentice Hall, 1966

Erschienen in: Prentice-Hall series in automatic computation- Prentice-Hall international series in applied mathematics
Börger, Egon [VerfasserIn]; Grädel, Erich [VerfasserIn]; Gurevič, Jurij [VerfasserIn] ; Gurevich, Yuri [Sonstige Person, Familie und Körperschaft]

The classical decision problem - [2. printing of the 1. ed.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin [u.a.]: Springer, 2001

Erschienen in: Universitext
Korfhage, Robert R. [VerfasserIn]

Discrete computional structures - [2. ed.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Orlando [u.a.]: Acad. Pr., c 1984

Erschienen in: Computer Science and applied mathematics
Thomas, Wolfgang [VerfasserIn]

Languages, automata, and logic

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Kiel: Inst. für Informatik und Praktische Mathematik, 1996

Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9607
Straubing, Howard [VerfasserIn]

Finite automata, formal logic, and circuit complexity

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Boston, Mass. [u.a.]: Birkhäuser, 1994

Erschienen in: Progress in theoretical computer science ; 11
Hofmann, Martin [VerfasserIn]; Lange, Martin [VerfasserIn]

Automatentheorie und Logik

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2011

Erschienen in: eXamen.press
Bozapalidis, Symeon [HerausgeberIn]; Rahonis, George [Sonstige Person, Familie und Körperschaft] ; CAI 3 2009 Thessaloniki

Algebraic informatics : third international conference, CAI 2009, Thessaloniki, Greece, Mai 19-22, 2009 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Erschienen in: Lecture notes in computer science ; 5725
Lallement, Gerard [VerfasserIn]

Semigroups and combinatorial applications

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York, NY [u.a.]: Wiley, 1979

Erschienen in: Pure and applied mathematics- A Wiley-Interscience publication
Kaiser, Łukasz [VerfasserIn]

Logic and games on automatic structures : playing with quantifiers and decompositions

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2011

Erschienen in: Lecture notes in computer science ; 6810
Puppis, Gabriele [VerfasserIn]

Automata for branching and layered temporal structures : an investigation into regularities of infinite transition systems

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2010

Erschienen in: Lecture notes in computer science ; 5955
Bar-Hillēl, Yehôšuaʿ [HerausgeberIn] ; ha- Akademyah ha-Le'umit ha-Yiśre'elit le-Mada'im Jerusalem, International Colloquium on Mathematical Logic and Foundations of Set Theory 1968 Jerusalem

Mathematical logic and foundations of set theory : proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and Humanities ; Jerusalem, 11 - 14 November 1968

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam [u.a.]: North-Holland Publishing, 1970

Erschienen in: Studies in logic and the foundations of mathematics
Parkes, Alan [VerfasserIn]; Parkes, Alan P. [VerfasserIn]

Introduction to languages, machines and logic : computable languages, abstract machines and formal logic

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

London; Berlin; Heidelberg [u.a.]: Springer, 2002
Mordeson, John N. [VerfasserIn]; Malik, Davender S. [VerfasserIn]

Fuzzy automata and languages : theory and applications

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Boca Raton, Fla. [u.a.]: Chapman & Hall/CRC, 2002

Erschienen in: Computational mathematics series
Ajzerman, Mark A. [Sonstige Person, Familie und Körperschaft]; Herschel, Rudolf [Sonstige Person, Familie und Körperschaft]

Logik, Automaten, Algorithmen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin: Akademie-Verlag, 1967

Erschienen in: Elektronisches Rechnen und Regeln / Sonderband ; 3
Perrin, Dominique [VerfasserIn]; Pin, Jean Éric [VerfasserIn] ; Pin, Jean-Éric [Sonstige Person, Familie und Körperschaft]

Infinite words : automata, semigroups, logic and games - [1. ed.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam; Heidelberg [u.a.]: Elsevier, 2004

Erschienen in: Pure and applied mathematics ; 14100
Jürgensen, Claus [VerfasserIn]

Categorical semantics and composition of tree transducers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2003

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr