Recursive Types in Games: Axiomatics and Process Representation (Extended Abstract) (1998)
Cached
Download Links
- [www.cogs.susx.ac.uk]
- [www.cl.cam.ac.uk]
- [ftp.dcs.qmw.ac.uk]
- [www.dcs.qmw.ac.uk]
- [www.dcs.qmul.ac.uk]
- DBLP
Other Repositories/Bibliography
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 |
