-
1
-
-
4243949119
-
Galois connections presented calculationally
-
thesis
-
Aarts, C. J. 1992. Galois connections presented calculationally. M.S. thesis, Department of Mathematics and Computing Science, Eindhoven University of Technology. ABRIAL, J.-R. 1996. The B-Book. Cambridge University Press, Cambridge, UK. APT, K.-R. and OLDEROG, E.-R. 1997. Verification of Sequential and Concurrent Programs, 2nd ed. Springer, Berlin
-
(1992)
M.S.
-
-
Aarts, C.J.1
-
2
-
-
0003356656
-
Lattice Theory
-
American Mathematical Society. (Reprint)
-
Birkhoff, G. 1984. Lattice Theory. Colloquium Publications, vol. 25. American Mathematical Society. (Reprint)
-
(1984)
Colloquium Publications
, vol.25
-
-
Birkhoff, G.1
-
3
-
-
0002666456
-
Basic modal logic
-
D. Gabbay and F. Guenthner, Eds. D. Reidel, Chapter II.1
-
Bull, R. and Segerberg, K. 1984. Basic modal logic. In Handbook of Philosophical Logic, D. Gabbay and F. Guenthner, Eds. vol. II. D. Reidel, Chapter II.1, 1-88
-
(1984)
Handbook of Philosophical Logic
, vol.II
, pp. 1-88
-
-
Bull, R.1
Segerberg, K.2
-
4
-
-
0004232390
-
Modal Logic: An Introduction
-
Press
-
Chellas, B. F. 1980. Modal Logic: An Introduction. Cambridge University Press, Cambridge, UK
-
(1980)
Cambridge University
-
-
Chellas, B.F.1
-
6
-
-
84976490328
-
Separation and reduction
-
5th International Conference, MPC 2000, R. Backhouse and J. N. Oliveira, Eds. Lecture Notes in Computer Science, vol. 1837. Springer, Berlin
-
Cohen, E. 2000. Separation and reduction. In Proceedings of Mathematics of Program Construction, 5th International Conference, MPC 2000, R. Backhouse and J. N. Oliveira, Eds. Lecture Notes in Computer Science, vol. 1837. Springer, Berlin, 45-59
-
(2000)
Proceedings of Mathematics of Program Construction
, pp. 45-59
-
-
Cohen, E.1
-
7
-
-
0003459275
-
Regular Algebra and Finite State Machines
-
Conway, J. H. 1971. Regular Algebra and Finite State Machines. Chapman and Hall
-
(1971)
Chapman and Hall
-
-
Conway, J.H.1
-
8
-
-
0001292473
-
The variety of Kleene algebras with conversion is not finitely based
-
Crvenkovic, S., Dolinka, I., and Esik, Z. 2000. The variety of Kleene algebras with conversion is not finitely based. Theoret. Comput. Sci. 230, 235-245
-
(2000)
Theoret. Comput. Sci.
, vol.230
, pp. 235-245
-
-
Crvenkovic, S.1
Dolinka, I.2
Esik, Z.3
-
9
-
-
0035577676
-
Characterizing determinacy in Kleene algebras
-
Desharnais, J. and Moller, B. 2001. Characterizing determinacy in Kleene algebras. Inf. Sci. 139, 3-4, 253-273
-
(2001)
Inf. Sci.
, vol.139
, Issue.3-4
, pp. 253-273
-
-
Desharnais, J.1
Moller, B.2
-
10
-
-
33745790788
-
Applications of modal Kleene algebra-a survey
-
Desharnais, J., Moller, B., and Struth, G. 2004a. Applications of modal Kleene algebra-a survey. JoRMiCS-Journal on Relational Methods in Computer Science 1, 93-131
-
(2004)
JoRMiCS-Journal on Relational Methods in Computer Science
, vol.1
, pp. 93-131
-
-
Desharnais, J.1
Moller, B.2
Struth, G.3
-
11
-
-
84901046297
-
Termination in modal Kleene algebra
-
J.-J. Levy, E. Mayr, and J. Mitchell, Eds. IFIP International Federation for Information Processing Series, vol. 155. Kluwer
-
Desharnais, J., Moller, B., and Struth, G. 2004b. Termination in modal Kleene algebra. In Exploring New Frontiers of Theoretical Informatics, J.-J. Levy, E. Mayr, and J. Mitchell, Eds. IFIP International Federation for Information Processing Series, vol. 155. Kluwer, 647-660
-
(2004)
Exploring New Frontiers of Theoretical Informatics
, pp. 647-660
-
-
Desharnais, J.1
Moller, B.2
Struth, G.3
-
12
-
-
84974697692
-
Kleene under a demonic star
-
T. Rus, Ed. Lecture Notes in Computer Science, Springer, Berlin
-
Desharnais, J., Moller, B., and Tchier, F. 2000. Kleene under a demonic star. In Algebraic Methodology and Software Technology, T. Rus, Ed. Lecture Notes in Computer Science, vol. 1816. Springer, Berlin, 355-370
-
(2000)
Algebraic Methodology and Software Technology
, vol.1816
, pp. 355-370
-
-
Desharnais, J.1
Moller, B.2
Tchier, F.3
-
13
-
-
85024283317
-
Automata, Languages and Machines
-
Press
-
Eilenberg, S. 1974. Automata, Languages and Machines. vol. A. Academic Press, Orlando, FL
-
(1974)
vol. A. Academic
-
-
Eilenberg, S.1
-
14
-
-
0018454915
-
Propositional dynamic logic of regular programs
-
Fischer, J. M. Andladner, R. F. 1979. Propositional dynamic logic of regular programs. J. Comput. System Sci. 18, 2, 194-211
-
(1979)
J. Comput. System Sci.
, vol.18
, Issue.2
, pp. 194-211
-
-
Fischer, J.M.1
Andladner, R.F.2
-
15
-
-
0342727961
-
Methods and applications of (max,+) linear algebra
-
INRIA-Rocquencourt
-
Gaubert, S. and Plus, M. 1997. Methods and applications of (max,+) linear algebra. Tech. Rep. RR-3088, INRIA-Rocquencourt
-
(1997)
Tech. Rep. RR-3088
-
-
Gaubert, S.1
Plus, M.2
-
16
-
-
30744436532
-
An algebraic study of well-foundedness
-
Goldblatt, R. 1985. An algebraic study of well-foundedness. Studia Logica 44, 4, 422-437
-
(1985)
Studia Logica
, vol.44
, Issue.4
, pp. 422-437
-
-
Goldblatt, R.1
-
17
-
-
0003879225
-
-
MIT Press, Cambridge, MA
-
Harel, D., Kozen, D., and Tiuryn, J. 2000. Dynamic Logic. MIT Press, Cambridge, MA
-
(2000)
Dynamic Logic
-
-
Harel, D.1
Kozen, D.2
Tiuryn, J.3
-
19
-
-
84865412069
-
Equational axioms of test algebra
-
M. Nielsen and W. Thomas, Eds. Lecture Notes in Computer Science, Springer, Berlin
-
Hollenberg, M. 1997. Equational axioms of test algebra. In Computer Science Logic, 11th International Workshop, CSL97, M. Nielsen and W. Thomas, Eds. Lecture Notes in Computer Science, vol. 1414. Springer, Berlin, 295-310
-
(1997)
Computer Science Logic, 11th International Workshop, CSL97
, vol.1414
, pp. 295-310
-
-
Hollenberg, M.1
-
20
-
-
0013324501
-
A representation theorem for *-free PDL
-
IBM
-
Kozen, D. 1979. A representation theorem for *-free PDL. Tech. Rep. RC7864, IBM
-
(1979)
Tech. Rep. RC7864
-
-
Kozen, D.1
-
21
-
-
0000042790
-
A completeness theorem for Kleene algebras and the algebra of regular events
-
Kozen, D. 1994a. A completeness theorem for Kleene algebras and the algebra of regular events. Inf. Comput. 110, 2, 366-390
-
(1994)
Inf. Comput.
, vol.110
, Issue.2
, pp. 366-390
-
-
Kozen, D.1
-
22
-
-
0004085049
-
On action algebras
-
J. van Eijck and A. Visser, Eds. MIT Press, Cambridge, MA
-
Kozen, D. 1994b. On action algebras. In Logic and Information Flow, J. van Eijck and A. Visser, Eds. MIT Press, Cambridge, MA, 78-88
-
(1994)
Logic and Information Flow
, pp. 78-88
-
-
Kozen, D.1
-
23
-
-
0031141317
-
Kleene algebra with tests
-
Kozen, D. 1997. Kleene algebra with tests. Trans. Prog. Lang. Syst. 19, 3, 427-443
-
(1997)
Trans. Prog. Lang. Syst.
, vol.19
, Issue.3
, pp. 427-443
-
-
Kozen, D.1
-
24
-
-
84876887451
-
On Hoare logic and Kleene algebra with tests
-
Kozen, D. 2001. On Hoare logic and Kleene algebra with tests. Trans. Comput. Logic 1, 1, 60-76
-
(2001)
Trans. Comput. Logic
, vol.1
, Issue.1
, pp. 60-76
-
-
Kozen, D.1
-
25
-
-
84958748064
-
Kleene algebra with tests: Completeness and decidability
-
D. van Dalen and M. Bezem, Eds. Lecture Notes in Computer Science, Springer, Berlin
-
Kozen, D. and Smith, F. 1996. Kleene algebra with tests: Completeness and decidability. In Proceedings of the 10th International Workshop on Computer Science Logic (CSL'96), D. van Dalen and M. Bezem, Eds. Lecture Notes in Computer Science, vol. 1258. Springer, Berlin, 244-259
-
(1996)
Proceedings of the 10th International Workshop on Computer Science Logic (CSL'96)
, vol.1258
, pp. 244-259
-
-
Kozen, D.1
Smith, F.2
-
26
-
-
0003313944
-
Semirings and formal power series: Their relevance to formal languages and automata
-
G. Rozenberg and A. Salomaa, Eds. Springer, Berlin
-
Kuich, W. 1997. Semirings and formal power series: Their relevance to formal languages and automata. In Handbook of Formal Language Theory, G. Rozenberg and A. Salomaa, Eds. vol. I. Springer, Berlin, 609-677
-
(1997)
Handbook of Formal Language Theory
, vol.I
, pp. 609-677
-
-
Kuich, W.1
-
27
-
-
0004175407
-
The Foundations of Program Verification
-
2nd ed. Wiley Teubner New York
-
Loeckx, J. and Sieber, K. 1987. The Foundations of Program Verification, 2nd ed. Wiley Teubner New York
-
(1987)
-
-
Loeckx, J.1
Sieber, K.2
-
28
-
-
85024256664
-
Complete tests do not gurantee domain
-
Univer-sitat Augsburg, Institut fur Informatik
-
Moller, B. 2005. Complete tests do not gurantee domain. Tech. Rep. 2005-6, Univer-sitat Augsburg, Institut fur Informatik
-
(2005)
Tech. Rep. 2005-6
-
-
Moller, B.1
-
29
-
-
31544443223
-
Algebras of modal operators and partial correctness
-
(Feb.)
-
Moller, B. and Struth, G. 2006. Algebras of modal operators and partial correctness. Theoret. Comput. Sci. 351, 2(Feb.), 221-239
-
(2006)
Theoret. Comput. Sci.
, vol.351
, Issue.2
, pp. 221-239
-
-
Moller, B.1
Struth, G.2
-
32
-
-
0002428377
-
Dynamic logic as a well-behaved fragment of relation algebras
-
D. Pigozzi, Ed. Lecture Notes in Computer Science, Springer, Berlin
-
Pratt, V. 1988. Dynamic logic as a well-behaved fragment of relation algebras. In Proceegings of the Conference on Algebra and Computer Science, D. Pigozzi, Ed. Lecture Notes in Computer Science, vol. 425. Springer, Berlin, 77-110
-
(1988)
Proceegings of the Conference on Algebra and Computer Science
, vol.425
, pp. 77-110
-
-
Pratt, V.1
-
33
-
-
85030849344
-
Action logic and pure induction
-
J. van Eijck, Ed. Lecture Notes in Computer Science, Springer, Berlin
-
Pratt, V. 1990. Action logic and pure induction. In Logics in AI, European Workshop, JELIA90, J. van Eijck, Ed. Lecture Notes in Computer Science, vol. 478. Springer, Berlin, 97-110
-
(1990)
Logics in AI, European Workshop, JELIA90
, vol.478
, pp. 97-110
-
-
Pratt, V.1
-
34
-
-
0001087098
-
Dynamic algebras: Examples, constructions, applications
-
Pratt, V. 1991. Dynamic algebras: Examples, constructions, applications. Studia Logica 50, 571-605
-
(1991)
Studia Logica
, vol.50
, pp. 571-605
-
-
Pratt, V.1
-
36
-
-
0043131933
-
Understanding Z.
-
Cambridge University Press, Cambridge, UK
-
Spivey, J. M. 1988. Understanding Z. Cambridge University Press, Cambridge, UK
-
(1988)
-
-
Spivey, J.M.1
|