Result 1 to 20 of 80 total
Untyping typed algebras and colouring cyclic linear logic. (English)
Log. Methods Comput. Sci. 8, No. 2, Paper No. 13, 21 p., electronic only (2012).
1
On algebra of languages representable by vertex-labeled graphs. (English)
Theor. Comput. Sci. 426-427, 42-48 (2012).
2
Deciding Kleene algebras in {\tt Coq}. (English)
Log. Methods Comput. Sci. 8, No. 1, Paper No. 16, 42 p., electronic only (2012).
3
Modal restriction semigroups: towards an algebra of functions. (English)
Int. J. Algebra Comput. 21, No. 7, 1053-1095 (2011).
4
The equational theory of Kleene lattices. (English)
Theor. Comput. Sci. 412, No. 52, 7099-7108 (2011).
5
Fixing Zeno gaps. (English)
Theor. Comput. Sci. 412, No. 28, 3303-3322 (2011).
6
Internal axioms for domain semirings. (English)
Sci. Comput. Program. 76, No. 3, 181-203 (2011).
7
Abstract representation theorems for demonic refinement algebras. (English)
J. Log. Algebr. Program. 79, No. 8, 740-767 (2010).
8
Synchronous Kleene algebra. (English)
J. Log. Algebr. Program. 79, No. 7, 608-635 (2010).
9
Refinement algebra for probabilistic programs. (English)
Formal Asp. Comput. 22, No. 1, 3-31 (2010).
10
Normal design algebra. (English)
J. Log. Algebr. Program. 79, No. 2, 144-173 (2010).
11
Algebraic calculi for hybrid systems. (English)
Norderstedt: Books on Demand; Augsburg: Univ. Augsburg, Fakultät für Angewandte Informatik (ISBN 978-3-8391-2510-6/hbk). x, 204~p. EUR~34.95 (2009).
12
Customising web information systems according to user preferences. (English)
World Wide Web 12, No. 1, 27-50 (2009).
13
Composing partially ordered monads. (English)
Berghammer, Rudolf (ed.) et al., Relations and Kleene algebra in computer science. 11th international conference on relational methods in computer science, RelMiCS 2009, and 6th international conference on applications of Kleene algebra, AKA 2009, Doha, Qatar, November 1‒5, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04638-4/pbk). Lecture Notes in Computer Science 5827, 88-102 (2009).
14
An implicit function theorem for regular fuzzy logic functions. (English)
Fuzzy Sets Syst. 159, No. 22, 2983-2987 (2008).
15
Infinitary action logic: complexity, models and grammars. (English)
Stud. Log. 89, No. 1, 1-18 (2008).
16
Using probabilistic Kleene algebra pKA for protocol verification. (English)
J. Log. Algebr. Program. 76, No. 1, 90-111 (2008).
17
Local variable scoping and Kleene algebra with tests. (English)
J. Log. Algebr. Program. 76, No. 1, 3-17 (2008).
18
On action logic: equational theories of action algebras. (English)
J. Log. Comput. 17, No. 1, 199-217 (2007).
19
Kleene getting lazy. (English)
Sci. Comput. Program. 65, No. 2, 195-214 (2007).
20
Result 1 to 20 of 80 total
Start
Contact
Print
General Help
