Automated Reasoning in Higher-Order Regular Algebra (English)
- New search for: Armstrong, A.
- New search for: Struth, G.
- New search for: Armstrong, A.
- New search for: Struth, G.
- New search for: Kahl, W.
- New search for: Griffin, Timothy G.
In:
RAMiCS 2012; Relational and Algebraic Methods in Computer Science
7560
;
66-81
;
2012
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Automated Reasoning in Higher-Order Regular Algebra
-
Contributors:
-
Conference:13th, RAMiCS 2012; Relational and Algebraic Methods in Computer Science ; 2012 ; Cambridge, England
-
Published in:LECTURE NOTES IN COMPUTER SCIENCE , 7560 ; 66-81
-
Publisher:
- New search for: Springer
-
Place of publication:Heidelberg
-
Publication date:2012-01-01
-
Size:16 pages
-
Remarks:Includes bibliographical references and index. Also issued online.
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Transitive Separation LogicDang, H.-H. / Moller, B. et al. | 2012
- 17
-
Unifying Lazy and Strict ComputationsGuttmann, W. et al. | 2012
- 33
-
Foundations of Coloring Algebra with Consequences for Feature-Oriented ProgrammingHofner, P. / Moller, B. / Zelend, A. et al. | 2012
- 50
-
Towards an Algebra for Real-Time ProgramsDongol, B. / Hayes, I.J. / Meinicke, L. / Solin, K. et al. | 2012
- 66
-
Automated Reasoning in Higher-Order Regular AlgebraArmstrong, A. / Struth, G. et al. | 2012
- 82
-
Towards Certifiable Implementation of Graph Transformation via Relation CategoriesKahl, W. et al. | 2012
- 98
-
Deciding Regular Expressions (In)-Equivalence in CoqMoreira, N. / Pereira, D. / de Sousa, S.M. et al. | 2012
- 114
-
Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive ClosuresBerghammer, R. / Fischer, S. et al. | 2012
- 130
-
Using Relations to Develop a Haskell Program for Computing Maximum Bipartite MatchingsDanilenko, N. et al. | 2012
- 146
-
Relations as Executable Specifications: Taming Partiality and Non-determinism Using InvariantsMacedo, N. / Pacheco, H. / Cunha, A. et al. | 2012
- 162
-
Left-Handed CompletenessKozen, D. / Silva, A. et al. | 2012
- 179
-
On Completeness of Omega-Regular AlgebrasLaurence, M.R. / Struth, G. et al. | 2012
- 195
-
Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain SemiringsJipsen, P. et al. | 2012
- 207
-
Relational Representation Theorem for Powerset QuantalesNishizawa, K. / Furusawa, H. et al. | 2012
- 219
-
Point Axioms in Dedekind CategoriesFurusawa, H. / Kawahara, Y. et al. | 2012
- 235
-
Two Observations in Dioid Based Model RefinementGluck, R. et al. | 2012
- 248
-
Relation Algebras, Matrices, and Multi-valued Decision DiagramsAtampore, F. / Winter, M. et al. | 2012
- 264
-
Incremental Pseudo Rectangular Organization of Information Relative to a DomainIsmail, S. / Jaoua, A. et al. | 2012
- 278
-
Relational Concepts in Social ChoiceSchmidt, G. et al. | 2012
- 294
-
An Algebra of Layered Complex PreferencesMoller, B. / Roocks, P. et al. | 2012
- 310
-
Continuous Relations and Richardson's TheoremFurusawa, H. / Ishida, T. / Kawahara, Y. et al. | 2012
- 326
-
Relations on HypergraphsStell, J.G. et al. | 2012
- 342
-
Extension Properties of Boolean Contact AlgebrasDuntsch, I. / Li, S. et al. | 2012