×

Found 3 Documents (Results 1–3)

100
MathJax

Characterizing implications of injective partial orders. (English) Zbl 1213.68597

Priss, Uta (ed.) et al., Conceptual structures: Knowledge architectures for smart applications. 15th international conference on conceptual structures, ICCS 2007, Sheffield, UK, July 22–27, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73680-6/pbk). Lecture Notes in Computer Science 4604. Lecture Notes in Artificial Intelligence, 492-495 (2007).
MSC:  68T30 03B05 06A15
PDF BibTeX XML Cite
Full Text: DOI

Coproduct transformations on lattices of closed partial orders. (English) Zbl 1116.68595

Ehrig, Hartmut (ed.) et al., Graph transformations. Second international conference, ICGT 2004, Rome, Italy, September 28 – October 2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23207-9/pbk). Lecture Notes in Computer Science 3256, 336-351 (2004).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Classification