search result

Cover von Automated deduction
15th international conference on automated deduction : Lindau, Germany, July 5 - 10, 1998 : proceedings
Search for this author
Year: 1998
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 1421
Media group: MONOGRAPHIE
Cover von Selected papers of the fifth international conference on rewriting techniques and applications
Montreal, Canada, 16-18 June 1993
Search for this author
Year: 1995
Publisher: Amsterdam, Elsevier
Series: Theoretical computer science : 142. 1995, 2
Media group: SPECIAL ISSUE
Cover von Rewriting techniques and applications
5th international conference : Montreal, Canada, June 16 - 18, 1993 : proceedings
Search for this author
Year: 1993
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 690
Media group: MONOGRAPHIE
Cover von Rho-Calculi for Computation and Logic

Rho-Calculi for Computation and Logic

Year: 2012
Media group: ARTICLE
Cover von Theorem proving and logic programming with constraints
21.10. - 25.10.91 (9143)
Search for this author
Year: 1991
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 24
Media group: DAGSTUHL-SEMINAR-REP
Cover von Foundations of constraint programming
special issue
Search for this author
Year: 1998
Publisher: Amsterdam, IOS Press
Series: Fundamenta informaticae : 34. 1998, 3
Media group: SPECIAL ISSUE
Cover von Digital Disinformation; 9
Taxonomy, Impact, Mitigation, and Regulation : pp. 28-44
Search for this author
Year: 2022
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 9
Media group: DAGSTUHL REPORT
Cover von Formal Validation of Pattern Matching code

Formal Validation of Pattern Matching code

Year: 2006
Media group: ARTICLE
Cover von Rewriting, computation and proof
essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Festschrift; 4600
Media group: MONOGRAPHIE
Cover von Engineering Academic Software; 1
pp. 62-87
Search for this author
Year: 2016
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 1
Media group: DAGSTUHL REPORT
OPEN V 11.1.0.0