DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Boris Trakhtenbrot
Boris Trakhtenbrot
On Structural Similarities of Finite Automata and Turing Machine Enumerability Classes
Stal Aanderaa Hao Wang Lars Aarvik Martin Abadi Zohar Manna James
LOGIC AS REGULAR BEHAVIOUR 1. Expressions to Logic Fix a Finite Set
Mathematical Logic in Computer Science
Lecture Notes in Computer Science 4800 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan Van Leeuwen
Regular Programming Over Data Streams
Regular Programming Over Data Streams
Top View