×

zbMATH — the first resource for mathematics

Edit Profile

van der Torre, Leon

Compute Distance To:
Author ID: van-der-torre.leon
Published as: Van Der Torre, L.; van der Torre, Leon
Documents Indexed: 7 Publications since 2006, including 5 Books
all top 5

Co-Authors

0 single-authored
2 Leite, João
2 Torroni, Paolo
1 Ågotnes, Thomas
1 Autexier, Serge
1 Boella, Guido
1 Bonzon, Elise
1 Dastani, Mehdi M.
1 Fisher, Michael J.
1 Governatori, Guido
1 Kontarinis, Dionysios
1 Maudet, Nicolas
1 Merz, Stephan
1 Perotti, Alan
1 Son, Tran Cao
1 van der Meyden, Ron
1 Villata, Serena
1 Wilhelm, Reinhard
1 Wolper, Pierre
1 Woltran, Stefan

Serials

3 Lecture Notes in Computer Science
1 Journal of Applied Logic
1 OASIcs – OpenAccess Series in Informatics

Fields

5 General and overarching topics; collections (00-XX)
5 Computer science (68-XX)
1 Mathematical logic and foundations (03-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription