Recursive Types in Games: Axiomatics and Process Representation (Extended Abstract) (1998)

by Marcelo Fiore , Kohei Honda
Venue:IN PROCEEDINGS O.F LICS'98. IEEE COMPUTER
Citations:4 - 1 self

Document Versions

Recursive Types in Games: Axiomatics and Process Representation (Extended Abstract) –Marcelo Fiore, Kohei Honda — 1998 — IN PROCEEDINGS O.F LICS'98. IEEE COMPUTER
Recursive Types in Games: Axiomatics and Process Representation (Extended Abstract) –Marcelo Fiore — In Proceedings o.f LICS'98. IEEE Computer
Recursive Types in Games: axiomatics and process representation, LICS'98 –Marcelo Fiore — 1998 — In Proceedings o.f LICS'98. IEEE Computer