×

zbMATH — the first resource for mathematics

Edit Profile

Ponse, Alban

Compute Distance To:
Author ID: ponse.alban
Published as: Ponse, A.; Ponse, Alban
External Links: ORCID
Documents Indexed: 41 Publications since 1991, including 4 Books
all top 5

Co-Authors

3 single-authored
24 Bergstra, Jan A.
7 van der Zwaag, Mark B.
4 Bethke, Inge
3 Groote, Jan Friso
2 Usenko, Yaroslav S.
2 Verhoef, Chris
1 Bezem, Marc
1 de Rijke, Maarten
1 Fokkink, Wan J.
1 Smolka, Scott A.
1 Staudt, Daan J. C.
1 Van Vlijmen, Bas
1 van Vlijmen, S. F. M.
1 Venema, Yde
all top 5

Serials

5 Theoretical Computer Science
4 The Journal of Logic and Algebraic Programming
3 Information Processing Letters
2 Formal Aspects of Computing
2 Journal of Applied Non-Classical Logics
2 Journal of Applied Logic
2 Scientific Annals of Computer Science
1 Acta Informatica
1 Notre Dame Journal of Formal Logic
1 Information and Computation
1 Indagationes Mathematicae. New Series
1 Theory of Computing Systems
1 Journal of the ACM
1 ACM Transactions on Computational Logic
1 CSLI Lecture Notes
all top 5

Fields

39 Computer science (68-XX)
14 Mathematical logic and foundations (03-XX)
4 General and overarching topics; collections (00-XX)
1 Commutative algebra (13-XX)
1 Associative rings and algebras (16-XX)
1 Group theory and generalizations (20-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription