REVISTA

RAIRO. SERIE 1: INFORMATIQUE THEORIQUE ET APLIQUEE/THEORETICAL INFORMATICS AND APPLICATIONS

ISSN: 0988-3754 Frecuencia: 6 Formato: Impresa

Tablas de contenido

4 artículos asociados

A fully equational proof of Parikh s theorem	Solicitud
Aceto, L. Esik, Z. Ingolfsdottir, A.
Pág. 129 - 154

Semantics of value recursion for monadic input/output	Solicitud
Erkok, L. Launchbury, J. Moran, A.
Pág. 155 - 180

Feedback, trace and fixed-point semantics	Solicitud
Katis, P. Sabadini, N. Walters, R. F. C.
Pág. 181 - 194

mu-bicomplete categories and parity games	Solicitud
Santocanale, L.
Pág. 195 - 227