Autor:	François Métayer
Rok vydání:	2001
Předmět:	Combinatorics Pure mathematics Mathematics (miscellaneous) Multiplicative function Boundary (topology) Mathematical proof Topology (chemistry) Computer Science Applications Mathematics
Zdroj:	Mathematical Structures in Computer Science. 11:261-272
ISSN:	0960-1295
Popis:	Proofnets may be seen as orientable surfaces with boundary. We investigate how the topology of such nets relates to the number of exchange rules in corresponding proofs.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::25011a9cf614f01db6c498bb67b8e492 https://doi.org/10.1017/s0960129500003285 Zobrazit plný text záznamu