-
1Foundations of Software Science and Computation Structures [electronic resource] : Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on The... Foundations of Software Science and Computation Structures [electronic resource] : Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on The...Texto bibliotecaCOLPOS
-
2Foundations of Software Science and Computation Structures [electronic resource] : Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on The... Foundations of Software Science and Computation Structures [electronic resource] : Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on The...Texto bibliotecaCOLPOS
-
3Computer Science Logic [electronic resource] : 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers / Computer Science Logic [electronic resource] : 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers /by Nielsen, Mogens. editor., Thomas, Wolfgang. editor., SpringerLink (Online service)
Published 1998Texto bibliotecaCOLPOS -
4Computer Science Logic [electronic resource] : 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers / Computer Science Logic [electronic resource] : 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers /by Nielsen, Mogens. editor., Thomas, Wolfgang. editor., SpringerLink (Online service)
Published 1998Texto bibliotecaCOLPOS -
5Automata Logics, and Infinite Games [electronic resource] : A Guide to Current Research / Automata Logics, and Infinite Games [electronic resource] : A Guide to Current Research /by Grädel, Erich. editor., Thomas, Wolfgang. editor., Wilke, Thomas. editor., SpringerLink (Online service)
Published 2002Texto bibliotecaCOLPOS -
6Automata Logics, and Infinite Games [electronic resource] : A Guide to Current Research / Automata Logics, and Infinite Games [electronic resource] : A Guide to Current Research /by Grädel, Erich. editor., Thomas, Wolfgang. editor., Wilke, Thomas. editor., SpringerLink (Online service)
Published 2002Texto bibliotecaCOLPOS