TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
More than 125 records were found in 5.406 seconds
Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings
ISBN: 3-540-22380-03125, 2004
On two letters versus three
FICS, 44-50, 2002
On the Completeness of Propositional Hoare Logic
RelMiCS, 195-202, 2000
Automata and computability
Springer,, Undergraduate texts in computer science, ISBN: 978-0-387-94907-9I-XIII, 1-400, 1997
On Regularity-Preserving Functions
Bulletin of the EATCS, 58, 1996
On the Myhill-Nerode theorem theorem for trees
Bulletin of the EATCS, 47170-173, 1992