Some notes on the abstraction operation for multi-terminal binary decision diagrams

DOI10.1007/S10703-013-0198-0zbMath1291.68258arXiv1303.6186OpenAlexW2030506067MaRDI QIDQ2248099

Ludwig Griebl, Johann Schuster

Publication date: 30 June 2014

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1303.6186

zbMATH Keywords

abstractionswitching functionabstraction operationalgebraic decision diagrammulti-terminal binary decision diagram

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Data structures (68P05)

Uses Software

• Unnamed Item

Cites Work

• Über entropische Gruppoide
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Some notes on the abstraction operation for multi-terminal binary decision diagrams