Call Number (LC) Title Results
QA267 .A923 1980 Automata, languages, and programming seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980 / 1
QA267 .A9233 1992 Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings / 1
QA267 .A924 Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 /
Automata theory and formal languages 2nd GI conference, Kaiserslautern, May 20-23, 1975 / 		2
QA267 .A93 Automatentheorie und formale Sprache. : Bericht e. Tagung d. Mathemat. Forschungsinst. Oberwolfach, Okt. 1969. / 1
QA267 .A98 v.A Automata, languages and machines. 1
QA267 .B314 1998 Term rewriting and all that / 1
QA267 .B314 1998eb Term rewriting and all that / 1
QA267 .B32 1991 Canonical equational proofs /
Canonical equational proofs 		2
QA267 .B33 1990 Process algebra / 1
QA267 .B34 1988 Structural complexity / 1
QA267 .B34 1995 Structural complexity / 1
QA267 .B36 1987 Computational complexity and natural language / 1
QA267 .B46 1987 Systems of reductions / 1
QA267 .B47 2011 Noncommutative rational series with applications / 1
QA267 .B47 2011eb Noncommutative rational series with applications / 1
QA267 .B48 1988 Nonsequential processes : a Petri net view / 1
QA267 .B6 Discrete mathematics: applied algebra for computer and information science / 1
QA267.B6 Discrete mathematics: applied algebra for computer and information science / 1
QA267 .B66 1993 String-rewriting systems / 1
QA267 .B76 1989 Theory of computation : formal languages, automata, and complexity / 1