Start Over
You searched for: author_facet Siefkes, Dirk

Search Results

Cover image for Decidable Theories

Decidable Theories

Location
Access Content Online
Cover image for The collected works of J. Richard Büchi

The collected works of J. Richard Büchi

Location Call # Status
Joyner - General Stacks QA267 .B79 1990 ✔ Available
Cover image for GI-4.Jahrestagung Berlin, 9.-12. Oktober 1974

GI-4.Jahrestagung Berlin, 9.-12. Oktober 1974

Location
Access Content Online
Cover image for Büchi's Monadic Second Order Successor Arithmetic

Büchi's Monadic Second Order Successor Arithmetic

Location
Access Content Online