stan/WLP2024
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

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