Permutations in Coinductive Graph Representation

DOI10.1007/978-3-642-32784-1_12zbMath1327.68205OpenAlexW199454426MaRDI QIDQ2914685

Celia Picard, Ralph Matthes

Publication date: 20 September 2012

Published in: Coalgebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32784-1_12

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Graph representations (geometric and intersection representations, etc.) (05C62)

Related Items (1)

A coinductive approach to proof search through typed lambda-calculi

Uses Software

• Unnamed Item

This page was built for publication: Permutations in Coinductive Graph Representation