Вы здесь

Van Bakel S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Logical Semantics for the First Order c-Calculus 2003 Van Bakel S., De Liguoro U. Lecture Notes in Computer Science 20.11.2003
СТ Rewrite Systems with Abstraction and -rule: Types, Approximants and Normalization 1996 Van Bakel S., Barbanera F., Fernandez M. Lecture Notes in Computer Science 18.05.1996
СТ (Head-)Normalization of Typeable Rewrite Systems 1995 Van Bakel S., Fernandez M. Lecture Notes in Computer Science 28.04.1995
СТ Strong Normalization of Typeable Rewrite Systems 1994 Van Bakel S., Fernandez M. Lecture Notes in Computer Science 24.08.1994
СТ Comparing Cubes 1994 Van Bakel S., Liquori L., Della Rocca S. R., Urzyczyn P. Lecture Notes in Computer Science 02.08.1994
СТ Essential Intersection Type Assignment 1993 Van Bakel S. Lecture Notes in Computer Science 20.01.1994
СТ Complete Restrictions of the Intersection Type Discipline 1992 Van Bakel S. Theoretical Computer Science 30.09.1992