[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- J R Buchi
- On a Decision Method in Restricted second-order arithmetics
- Proc Int'l Conf. Logic, Methods and philosophy of science (1962) pp1-12
- =THEORY AUTOMATA omega-automata Buchi-automata
- 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 for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]