Fundamenta Informaticae

Syntax and defining equations for an interrupt mechanism in process algebra Article

J.C.M. Baeten (Jos), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

Abstraction and empty process in process algebra Article

J.C.M. Baeten (Jos) and R.J. van Glabbeek (Rob)

The algebra of synchronous processes Article

W.P. Weijland

Fundamenta informaticae on Logic Programming Article

K.R. Apt (Krzysztof)

Fundamenta informaticae 13(1) 1990 Article

On downward closure ordinals of logic programs Article

R. Bagai, M.A. Bezem and M.H. van Emden

Arithmetic classification of perfect models of stratified programs Article

K.R. Apt (Krzysztof) and H.A. Blair

Arithmetic classification of perfect models of stratified programs Article

K.R. Apt (Krzysztof) and H.A. Blair