[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Buchi02

  1. J R Buchi
  2. On a Decision Method in Restricted second-order arithmetics
  3. Proc Int'l Conf. Logic, Methods and philosophy of science (1962) pp1-12
  4. =THEORY AUTOMATA omega-automata Buchi-automata
  5. Given a standard finite state automata with accepting states its language is defines a set of infinite strings that are acceptable: they can return an infinite number of times to at least on of the accepting states.

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]