Personensuche
X
?
Quantitative Evaluation of Systems; Lecture Notes in Computer Science ,
2
Causal Reversibility Implies Time Reversibility:
, In:
?
Reversible Computation; Lecture Notes in Computer Science ,
3
Reversibility in Erlang: Imperative Constructs:
, In:
?
4
Intelligent Computer Mathematics: 14th International Confer..
Lecture Notes in Artificial Intelligence, 12833
?
6
Functional and Constraint Logic Programming: 28th Internati..
Theoretical Computer Science and General Issues, 12560
?
Automated Reasoning; Lecture Notes in Computer Science ,
7
Logic-Independent Proof Search in Logical Frameworks: (Shor..:
, In:
?
8
Intelligent Computer Mathematics: 12th International Confer..
Lecture Notes in Artificial Intelligence, 11617
?
Lecture Notes in Computer Science; Intelligent Computer Mathematics ,
9
The Coq Library as a Theory Graph:
, In:
?
Lecture Notes in Computer Science; Intelligent Computer Mathematics ,
10
A Plugin to Export Coq Libraries to XML:
, In:
?
Lecture Notes in Computer Science; Intelligent Computer Mathematics ,
12