Linear logic and polynomial time
Damiano Mazza
págs. 947-988
Transition systems, link graphs and Petri nets
James Leifer, Robin Milner
págs. 989-1047
Differential categories
R.F. Blute, J. R. B. Cockett, R.A. Seelly
págs. 1049-1083
Iterative algebras at work
Jirí Adámek, Stefan Milius, Jiri Velebi
págs. 1085-1131
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
Hartmut Ehrig, Bárbara Konig
págs. 1133-1163
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: