Permutations in Coinductive Graph Representation

DOI10.1007/978-3-642-32784-1_12MaRDI QIDQ2914685zbMATH OpenOpenAlexFDO

Authors 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 representations (geometric and intersection representations, etc.) (05C62) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• On permutation graphs
• scientific article; zbMATH DE number 1457239
• Permutation labeling of graphs
• scientific article; zbMATH DE number 2076912
• Determination of permutation graphs
• scientific article; zbMATH DE number 4066932
• Permutations generated by token passing in graphs
• On combination and permutation graphs
• Succinct permutation graphs
• Permutational powers of a graph

Cited in

(8)

• Permutations generated by token passing in graphs
• An atomic model of the graph of permutations linked by transpositions
• A coinductive approach to proof search through typed lambda-calculi
• The combinatorial compound of permutation matrix and graphical representation
• Functigraphs: An extension of permutation graphs
• Permutation-exchange graphs that emulate the binary cube
• Modeling Permutations in Coq for Coccinelle
• Some coinductive graphs

Describes a project that uses

Uses Software

• Coq

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2914685)