Attribut:ISBN
Aus International Center for Computational Logic
Dies ist eine Eigenschaft des Typs Zeichenkette.
C
978-1-4471-4275-1 +
978-3-319-10406-5 +
978-3-030-19570-0 +
D
Decentralized Supervisory Control with Communicating Supervisors Based on Top-Down Coordination Control +
9781467360883 +
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures +
978-3-95977-310-2 +
978-3-319-73116-2 +
978-1-61499-435-0 +
978-1-58603-891-5 +
978-1-60750-654-6 +
3-936546-44-4 +
978-3-540-72215-1 +
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report) +
978-1-956792-02-7 +
E
978-3-319-08586-9 +
978-3-319-43658-6 +
978-1-57735-515-1 +
978-3-642-39211-5 +
978-1-4799-2784-5 +
978-1-57735-657-8 +
978-3-319-24485-3 +
