X
Search Filters
Format Format
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
sequential machine theory (26) 26
finite automata (17) 17
finite state machines (14) 14
formal languages (14) 14
computer science (13) 13
machines séquentielles, théorie des (13) 13
machine theory (12) 12
automatentheorie (10) 10
langages formels (10) 10
computer programming (9) 9
computers (9) 9
mathematics (9) 9
formale sprache (7) 7
lenguajes formales (7) 7
programming languages (7) 7
automates mathématiques, théorie des (6) 6
congresses (6) 6
langages de programmation (6) 6
fundamentele informatica (5) 5
langage formel (5) 5
machines séquentielles (5) 5
programming (5) 5
abstract automata (4) 4
algebra (4) 4
algorithms (4) 4
automata (4) 4
computer science, theory & methods (4) 4
congrès (4) 4
information theory (4) 4
informatique théorique (4) 4
mathematical logic (4) 4
mathematical logic and formal languages (4) 4
programmiersprache (4) 4
robots (4) 4
teoría de las máquinas (4) 4
teoría de las máquinas secuenciales (4) 4
theory of computation (4) 4
abstract machines (3) 3
automat (3) 3
autómatas matemáticos, teoría de (3) 3
complexité calcul (3) 3
computation by abstract devices (3) 3
computer science, general (3) 3
formele talen (3) 3
grammaire algébrique (3) 3
lenguajes de programación (3) 3
machine séquentielle (3) 3
machine turing (3) 3
mathematical machine theory (3) 3
programación (3) 3
robotics (3) 3
semantics (3) 3
teoria maszyn sekwencyjnych (3) 3
theoretical computer science (3) 3
abstracte automaten (2) 2
algorithm analysis and problem complexity (2) 2
algorithmentheorie (2) 2
analysis (2) 2
automata theory (2) 2
automate (2) 2
automate fini (2) 2
automation (2) 2
automatons (2) 2
automatteori (2) 2
cibernética (2) 2
combinatoire (2) 2
combinatorics (2) 2
communicating sequential processes (2) 2
computable functions (2) 2
computer (2) 2
computer algorithms (2) 2
computer languages (2) 2
computer logic (2) 2
computer program languages (2) 2
computer programming languages (2) 2
computer science, information systems (2) 2
computer software (2) 2
congresses.,congresses.,congresses (2) 2
datalogi (2) 2
discrete mathematics (2) 2
electronic digital computers (2) 2
endlicher automat (2) 2
equations (2) 2
formal languages - congresses (2) 2
formale potenzreihe (2) 2
informatics (2) 2
informatique (2) 2
informatyka (2) 2
informática (2) 2
komplexitaet (2) 2
kongress (2) 2
langage algébrique (2) 2
linguagens formais e automatos (2) 2
logic (2) 2
logic design (2) 2
logic programming (2) 2
logics and meanings of programs (2) 2
machine language (2) 2
matematyka (2) 2
mathematical theory (2) 2
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Gerstein Science - Stacks (16) 16
Engineering & Comp. Sci. - Stacks (6) 6
Mathematical Sciences - Stacks (4) 4
UofT at Mississauga - Stacks (3) 3
UTL at Downsview - May be requested (2) 2
Collection Dvlpm't (Acquisitions) - Vendor file (1) 1
Gerstein Science - Periodical Stacks (1) 1
Online Resources - Online (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (41) 41
French (4) 4
Spanish (2) 2
Danish (1) 1
German (1) 1
Japanese (1) 1
Latin (1) 1
Nepali (1) 1
Portuguese (1) 1
Romanian (1) 1
Russian (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 01/2017, Volume 10160, pp. 185 - 202
Journal Article
08/2005, ISBN 9780471718314, 17
This chapter contains sections titled: Sequential Grammars over Word Monoids Parallel Grammars over Word Monoids 
context conditions | word monoids | derivation domains | sequential grammars | parallel grammars
Book Chapter
SIAM Journal on Computing, ISSN 0097-5397, Volume 20, Issue 4, pp. 669 - 685
Rational functions from a free monoid into another are characterized by the finiteness of the index of some congruence naturally associated with the function.... 
SEQUENTIAL BIMACHINE | MATHEMATICS, APPLIED | COMPUTER SCIENCE, THEORY & METHODS | RATIONAL FUNCTION
Journal Article
2004, ISBN 9781584882558, 321
Interest in finite automata theory continues to grow, not only because of its applications in computer science, but also because of more recent applications in... 
Machine theory
eBook
1992, Studies in computer science and artificial intelligence, ISBN 9780444890269, Volume 10, viii, 485
Book
1974, Pure and applied mathematics, a series of monographs and textbooks, Volume 58-59
Book
1978, Texts and monographs in computer science., ISBN 9780387902821, x, 171 p. --
Book
Information Sciences, ISSN 0020-0255, 10/2016, Volume 363, pp. 292 - 307
Journal Article
Journal of Symbolic Computation, ISSN 0747-7171, 2011, Volume 46, Issue 3, pp. 272 - 293
Most often, in a categorical semantics for a programming language, the substitution of terms is expressed by composition and finite products. However this does... 
Monads | Freyd-categories | Premonoidal categories | Sequential product | Computational effects | Effect categories | Cartesian effect categories | Categorical logic | Arrows | MATHEMATICS, APPLIED | COMPUTER SCIENCE, THEORY & METHODS | Logic in Computer Science | Category Theory | Mathematics | Computer Science
Journal Article
1990, ISBN 9780444880710, 2 v.
Book
1973, Computer science and applied mathematics., ISBN 9780122392504, viii, 231
Book
Book
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.