Skip to main content
padlock icon - secure page this page is secure
Home / ACTA INFORMATICA, Volume 35, Number 12

Publisher: Springer Science and Media

Volume 35, Number 12, 1998

Dijkstra-Scholten predicate calculus: concepts and misconceptions
pp. 1007-1036(30)
Authors: Bijlsma, L.; Nederpelt, R.

Favourites:
ADD

A transformation system for concurrent processes
pp. 1037-1074(38)
Authors: De Francesco, N.; Santone, A.

Favourites:
ADD

Axioms for generalized graphs, illustrated by a Cantor-Bernstein proposition
pp. 1075-1096(22)
Authors: Engelfriet, J.; Gelsema, T.

Favourites:
ADD

Share Content

  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more