Вы здесь

Mendler M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Axiomatizing an Algebra of Step Reactions for Synchronous Languages 2002 Luttgen G., Mendler M. Lecture Notes in Computer Science 04.09.2002
СТ On the Logical Content of Computational Type Theory: A Solution to Curry s Problem 2002 Fairlough M., Mendler M. Lecture Notes in Computer Science 13.04.2002
П First-order Lax Logic as a Framework for Constraint Logic Programming 1997 Fairtlough M., Mendler M., Walton M. Univ.Passau 30.04.1998
П A Timing Refinement of Intuitionistic Proofs and Its Application to the Timing Analysis of Combinational Circuits 1995 Mendler M. Univ.Passau 23.05.1996
П Ternary Simulation: A Refinement of Binary Functions or an Abstraction of Real-Time Behaviour? 1996 Mendler M., Fairtlough M. Univ.Passau 23.05.1996
СТ An Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware 1995 Fairtlough M., Mendler M. Lecture Notes in Computer Science Computer Science Logic 24.09.1995
СТ An Intuitijnistic Modal Logic with Applications to the Formal Verification of Hardware 1995 Fairtlough M., Mendler M. Lecture Notes in Computer Science Computer Science Logic 29.08.1995
СТ An Asynchronous Process Algebra with Multiple Clocks 1994 Andersen H. R., Mendler M. Lecture Notes in Computer Science 06.05.1994