Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Kuske, Dietrich - Laboratoire Bordelais de Recherche en Informatique, Université Bordeaux 1
COMPATIBILITY OF SHELAH AND STUPP'S AND MUCHNIK'S ITERATION WITH FRAGMENTS OF MONADIC SECOND ORDER LOGIC
Notes on "Weighted asynchronous cellular automata" Dietrich Kuske
Word automaticity of tree automatic ordinals is decidable
Basic definitions and first examples The main result and its proof
The VC dimension of definable sets in graph Isolde Adler
On Conservativity of pure Haskell in Concurrent Haskell
Die modulare Struktur einer Ontologie: Atomare Dekomposition
Isomorphism of regular trees and words Markus Lohrey
