Limit Search Results
Author
Finkbeiner, Bernd. editor.
(3)
Kovács, Laura. editor.
(3)
Baldimtsi, Foteini. editor.
(2)
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093
(2)
Cachin, Christian. editor.
(2)
Language
Publication Date
-
Subject
Computer science.
(21)
Formal Languages and Automata Theory.
(12)
Machine theory.
(12)
Software engineering.
(12)
Computer Science Logic and Foundations of Programming.
(10)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
43 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for A Proof Theory for Description Logics
A Proof Theory for Description Logics
Author 
Rademaker, Alexandre. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4002-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Hybrid Logic and its Proof-Theory
Hybrid Logic and its Proof-Theory
Author 
Braüner, Torben. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0002-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Proof Theory for Fuzzy Logics
Proof Theory for Fuzzy Logics
Author 
Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9409-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Proof Theory The First Step into Impredicativity
Proof Theory The First Step into Impredicativity
Author 
Pohlers, Wolfram. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69319-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Factors and Factorizations of Graphs Proof Techniques in Factor Theory
Factors and Factorizations of Graphs Proof Techniques in Factor Theory
Author 
Akiyama, Jin. author. Kano, Mikio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21919-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Author 
Kohlenbach, Ulrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77533-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computational Complexity and Local Algorithms On the Interplay Between Randomness and Computation
Computational Complexity and Local Algorithms On the Interplay Between Randomness and Computation
Author 
Goldreich, Oded. editor. (orcid)0000-0002-4329-135X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-88946-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Maximal Planar Graph Theory and the Four-Color Conjecture
Maximal Planar Graph Theory and the Four-Color Conjecture
Author 
Xu, Jin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4745-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Financial Cryptography and Data Security 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part II
Financial Cryptography and Data Security 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part II
Author 
Baldimtsi, Foteini. editor. Cachin, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47751-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Limits of AI - theoretical, practical, ethical
Limits of AI - theoretical, practical, ethical
Author 
Mainzer, Klaus. author. Kahle, Reinhard. author. (orcid)0000-0002-9064-877X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-68290-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
Author 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57246-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Author 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57249-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action