Search results for: Herman Geuvers
Fundamenta Informaticae > 2022 > Vol. 185, nr 4 > 313--336
Fundamenta Informaticae > 2019 > Vol. 170, nr 1-3 > 139--176
Lecture Notes in Computer Science > Intelligent Computer Mathematics > CICM Systems and Projects > 298-300
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Contributions to MKM 2010 > 440-454
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Contributions to MKM 2010 > 455-469
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2006 > Invited Talks > 39-57