/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Formal%20languages.%22&sort_by=relevance&format=rss 8 0 50 ISBN:9781447140016 (pbk.) /cgi-bin/koha/opac-detail.pl?biblionumber=130869 By Rademaker, Alexandre.
London : Springer London, 2012 .
x, 106 p. ; 18 cm..
9781447140016 (pbk.)

]]> Place hold on A Proof Theory for Description Logics /

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=130869 ISBN:1881526968 (pbk.) /cgi-bin/koha/opac-detail.pl?biblionumber=143156 Stanford, Calif. : CSLI Publications, 1995 .
xix, 327 p. ; , Papers presented at a workshop called Three days of Bisimulation, which was held April 1994 at the Centre for Mathematics and Computer Sciences, Amsterdam. | Includes index. 23 cm..
1881526968 (pbk.)

]]> Place hold on Modal logic and process algebra :

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=143156 ISBN:0131150073 (pbk.) /cgi-bin/koha/opac-detail.pl?biblionumber=144559 By Milner, R..
New York : Prentice Hall, 1989 .
xi, 260 p. : , Includes index. 23 cm..
0131150073 (pbk.)

]]> Place hold on Communication and concurrency /

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=144559 ISBN:0139138153 (pbk.) /cgi-bin/koha/opac-detail.pl?biblionumber=144606 By Carroll, John..
Englewood Cliffs, N.J. : Prentice-Hall International, 1989 .
vi, 438 p. : 24 cm..
0139138153 (pbk.)

]]> Place hold on Theory of finite automata :

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=144606 ISBN:0132734265 (pbk.) /cgi-bin/koha/opac-detail.pl?biblionumber=148052 By Lewis, Harry R..
Englewood Cliffs, N.J. : Prentice-Hall, 1981 .
xiv, 466 p. : , Includes index. 23 cm..
0132734265 (pbk.)

]]> Place hold on Elements of the theory of computation /

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=148052 ISBN:0139138153 (pbk.) /cgi-bin/koha/opac-detail.pl?biblionumber=148675 By Carroll, John..
Englewood Cliffs, N.J. : Prentice-Hall International, 1989 .
vi, 438 p. : 24 cm..
0139138153 (pbk.)

]]> Place hold on Theory of finite automata :

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=148675 ISBN:0139138153 (pbk.) /cgi-bin/koha/opac-detail.pl?biblionumber=148676 By Carroll, John..
Englewood Cliffs, N.J. : Prentice-Hall International, 1989 .
vi, 438 p. : 24 cm..
0139138153 (pbk.)

]]> Place hold on Theory of finite automata :

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=148676 ISBN:1881526968 (pbk.) /cgi-bin/koha/opac-detail.pl?biblionumber=148688 Stanford, Calif. : CSLI Publications, 1995 .
xix, 327 p. ; , Papers presented at a workshop called Three days of Bisimulation, which was held April 1994 at the Centre for Mathematics and Computer Sciences, Amsterdam. | Includes index. 23 cm..
1881526968 (pbk.)

]]> Place hold on Modal logic and process algebra :

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=148688