| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Calculation and Properties of Zonal Polynomials
|
Jiu, Lin
|
|
|
14 |
3 |
p. 623-640
|
artikel
|
| 2 |
DiscreteZOO: A Fingerprint Database of Discrete Objects
|
Berčič, Katja
|
|
|
14 |
3 |
p. 559-575
|
artikel
|
| 3 |
Efficient and Secure Delegation of Exponentiation in General Groups to a Single Malicious Server
|
Di Crescenzo, Giovanni
|
|
|
14 |
3 |
p. 641-656
|
artikel
|
| 4 |
Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System
|
Alpuente, M.
|
|
|
14 |
3 |
p. 591-606
|
artikel
|
| 5 |
Foreword
|
Labahn, George
|
|
|
14 |
3 |
p. 531-532
|
artikel
|
| 6 |
Image Analysis: Identification of Objects via Polynomial Systems
|
Lewis, Robert H.
|
|
|
14 |
3 |
p. 551-558
|
artikel
|
| 7 |
Mac Lane’s Comparison Theorem for the Kleisli Construction Formalized in Coq
|
Ekici, Burak
|
|
|
14 |
3 |
p. 533-549
|
artikel
|
| 8 |
Numerical Software to Compute Newton polytopes and Tropical Membership
|
Brysiewicz, Taylor
|
|
|
14 |
3 |
p. 577-589
|
artikel
|
| 9 |
Problem Solving as a Path to Comprehension
|
Kim, Seyeon
|
|
|
14 |
3 |
p. 607-621
|
artikel
|
| 10 |
Relaxed Weighted Path Order in Theorem Proving
|
Jakubův, Jan
|
|
|
14 |
3 |
p. 657-670
|
artikel
|
Tijdschrift beschrijving