OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Laboratory is "Centro de Matemática (Braga, Portugal)"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Conference or Workshop Item

Espírito Santo, José and Matthes, Ralph and Pinto, Luís. A Coinductive Approach to Proof Search. (2013) In: Fixed Points in Computer Science (FICS 2013), 1 September 2013 (Turin, Italy).

This list was generated on Wed Jan 19 16:22:10 2022 CET.