Personensuche
X
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
2
Confluence Framework: Proving Confluence with CONFident:
, In:
?
Automated Reasoning; Lecture Notes in Computer Science ,
7
mu-term: Verify Termination Properties Automatically (Syste..:
, In:
?
Automated Reasoning; Lecture Notes in Computer Science ,
9
Automatically Proving and Disproving Feasibility Conditions:
, In:
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
12
Proving Program Properties as First-Order Satisfiability:
, In:
?
Lecture Notes in Computer Science; Automated Deduction – CADE 27 ,
14