Showing 1 - 14
of 14
for search: '"Logic Congresses."',
query time: 0.18s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Decidability (Mathematical logic)
Institution
Collection
Format
Subject
14
Computer systems Verification
Decidability (Mathematical logic)
11
Computer science Mathematics
2
Graph theory Data processing
1
Algorithms
1
Artificial intelligence
more ...
1
Computer algorithms
1
Computer organization
1
Computer science
1
Computers
1
Configurations
1
Data structures (Computer science)
1
Logic
1
Mathematical models
see all ...
less ...
Author
14
SpringerLink (Online service)
10
Potapov, Igor,
10
RP (Workshop)
4
International Conference on Reachability Problems
4
Potapov, Igor
1
Abdulla, Parosh Aziz,
more ...
1
Bell, Paul C.,
1
Bournez, Olivier
1
Bournez, Olivier.,
1
Delzanno, Giorgio
1
Filiot, Emmanuel,
1
Finkel, A. 1958-
1
Formenti, Enrico, 1968-
1
Hague, Matthew,
1
International Conference on Reachability Problems Kaiserslautern, Germany)
1
International Conference on Reachability Problems Liverpool, England)
1
International Conference on Reachability Problems Nice, France)
1
International Conference on Reachability Problems online)
1
Jungers, Raphaël,
1
Kučera, Antonín, 1971-
1
Larsen, K. G. 1957-
1
Leroux, Jérôme
1
Lin, Anthony Widjaja,
1
Ouaknine, Joël,
1
RP (Workshop) Bordeaux, France)
1
RP (Workshop) Brno, Czech Republic)
1
RP (Workshop) Brussels, Belgium)
1
RP (Workshop) Genoa, Italy)
1
RP (Workshop) London, England)
1
RP (Workshop) Marseille, France)
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication