Вы здесь

Fribourg L.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Constraint Logic Programming Applied to Model Checking 2000 Fribourg L. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.08.2000
СТ Reachability Analysis of (Timed) Petri Nets Using Real Arithmetic 1999 Berard B., Fribourg L. Lecture Notes in Computer Science 15.09.1999
СТ Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol 1999 Berard B., Fribourg L. Lecture Notes in Computer Science 16.07.1999
СТ Symbolic Verification with Gap-Order Constraints 1997 Fribourg L., Richardson J. Lecture Notes in Computer Science 12.04.1997
СТ Reductions of Petri Nets and Unfolding of Propositional Logic Programs 1997 Fribourg L., Olsen H. Lecture Notes in Computer Science 12.04.1997
СТ Functional Extensions to PROLOG: are they needed? 1988 Fribourg L. Mathematical Research Algebraic and Logic Programming 30.06.1995
СТ Automattic Generation of Simplification Lemmas for Inductive Proofs 1991 Fribourg L. Logic Programming: Proc./1991 Intern. Symp. 29.12.1994
СТ Equivalence-Preserving Transformations of Inductive Properties of Prolog Programs 1988 Fribourg L. Logic Programming: Proc./Fifth Intern.Conf. and Symp. 13.10.1994