Andreas Stadelmeier
|
8413a6df05
|
add Reviews
|
2024-09-02 13:13:14 +02:00 |
|
Andreas Stadelmeier
|
f93914185c
|
Subst rules have to replace Types too
|
2024-08-30 09:08:18 +02:00 |
|
Andreas Stadelmeier
|
9dfef9db26
|
Fix match rule
|
2024-08-27 17:47:11 +02:00 |
|
JanUlrich
|
c9c531741e
|
Finished version for symposium submission
|
2024-07-22 15:34:00 +02:00 |
|
JanUlrich
|
ac3e5651e3
|
Cleanup and add Introduction
|
2024-07-01 17:20:04 +02:00 |
|
Andreas Stadelmeier
|
514097ce56
|
Bib
|
2024-07-01 12:38:02 +02:00 |
|
Andreas Stadelmeier
|
435b3ed07b
|
Discussion#
|
2024-07-01 12:32:56 +02:00 |
|
Andreas Stadelmeier
|
0373eb69e8
|
Add Motivation and Bib
|
2024-07-01 00:12:38 +02:00 |
|
JanUlrich
|
df402dfb2b
|
Add Intro and Termination
|
2024-06-29 19:46:03 +02:00 |
|
JanUlrich
|
59e80f556c
|
Add Abstract and Termination
|
2024-06-28 15:52:42 +02:00 |
|
JanUlrich
|
4f3350cdcb
|
Change to EPTCS style
|
2024-06-28 13:54:11 +02:00 |
|
Andreas Stadelmeier
|
eb2ae1eb34
|
Fix
|
2024-06-21 03:32:11 +02:00 |
|
JanUlrich
|
0eeb31cb67
|
Fixes. Finished algorithm (v1)
|
2024-06-19 23:16:12 +02:00 |
|
Andreas Stadelmeier
|
6ca45c06d3
|
Solution gen methods. Do not generate Generics
|
2024-06-18 18:45:29 +02:00 |
|
Andreas Stadelmeier
|
0a1644617a
|
Add Substitution rule
|
2024-06-15 15:36:51 +02:00 |
|
Andreas Stadelmeier
|
71ffb2c766
|
Var Rule Subtyping. Add Termination Theorem
|
2024-06-13 17:07:08 +02:00 |
|
Andreas Stadelmeier
|
05260c286d
|
Add Solution rules
|
2024-06-12 14:37:35 +02:00 |
|
Andreas Stadelmeier
|
0678f96ef4
|
Add Split rules. Add Soundness, Completeness definitions
|
2024-06-12 00:31:36 +02:00 |
|
JanUlrich
|
837bed5752
|
Soundness
|
2024-06-11 18:32:54 +02:00 |
|
Andreas Stadelmeier
|
255e3854ef
|
Add Result rules
|
2024-06-11 16:29:34 +02:00 |
|
JanUlrich
|
5fc1972c41
|
Add Proof Environment
|
2024-06-11 12:00:41 +02:00 |
|
JanUlrich
|
d4040b2611
|
Add Subtyping rules
|
2024-06-11 11:49:50 +02:00 |
|
JanUlrich
|
5f549ae540
|
Rework Implementation rules. Add comments to Completeness
|
2024-06-10 17:59:40 +02:00 |
|
JanUlrich
|
4efda6cae2
|
Add Prolog
|
2024-06-10 10:06:55 +02:00 |
|
Andreas Stadelmeier
|
2702bf6cab
|
Start Implication Rules
|
2024-06-10 09:03:46 +02:00 |
|
Andreas Stadelmeier
|
4a2f3078e6
|
LLNCS template
|
2024-06-08 13:49:49 +02:00 |
|