|
aspUnify.tex
|
Subst rules have to replace Types too
|
2024-08-30 09:08:18 +02:00 |
|
eptcs.bst
|
Change to EPTCS style
|
2024-06-28 13:54:11 +02:00 |
|
eptcs.cls
|
Change to EPTCS style
|
2024-06-28 13:54:11 +02:00 |
|
llncs.cls
|
LLNCS template
|
2024-06-08 13:49:49 +02:00 |
|
martin.bib
|
Bib
|
2024-07-01 12:38:02 +02:00 |
|
prolog.tex
|
Add Motivation and Bib
|
2024-07-01 00:12:38 +02:00 |
|
reviews.md
|
add Reviews
|
2024-09-02 13:13:14 +02:00 |
