Temporal logic of actions Modal μ-calculus David Harel, Dexter Kozen, and Jerzy Tiuryn, "Dynamic Logic". MIT Press, 2000 (450 pp). Nicolas Troquard and Philippe...
29 KB (5,118 words) - 21:28, 20 August 2024
Cambridge University Press ISBN 978-0-521-76268-7 David Harel, Dexter Kozen, Jerzy Tiuryn, Dynamic logic, MIT Press, 2000, ISBN 0-262-08289-6, p. 6ff...
5 KB (744 words) - 13:16, 1 November 2024
fair shares to everybody, Norton 1999. David Harel, Dexter Kozen and Jerzy Tiuryn, Dynamic Logic, MIT Press, 2000. Michael Chwe, Rational ritual : culture...
7 KB (955 words) - 14:18, 12 July 2023
1007/978-3-319-16694-0. ISBN 978-3-319-16693-3. David Harel; Dexter Kozen; Jerzy Tiuryn (2000). Dynamic Logic. MIT Press. ISBN 978-0262082891. Lutz, Carsten...
53 KB (8,001 words) - 21:52, 27 November 2023
Publications. Vol. 2. Warszawa: PWN. pp. 7–99. Harel, David; Kozen, Dexter; Tiuryn, Jerzy (2000). Dynamic Logic. Cambridge Massachusetts: MIT Press. pp. 459....
3 KB (392 words) - 00:15, 1 August 2024
Cornell University. Retrieved 2024-07-25. Harel, David; Kozen, Dexter; Tiuryn, Jerzy (2000). Dynamic Logic. Cambridge, MA: MIT Press. ISBN 978-026227-495-1...
11 KB (792 words) - 00:19, 27 October 2024
lengths of proofs in propositional calculus". In Pacholski, Leszek; Tiuryn, Jerzy (eds.). Computer Science Logic. Lecture Notes in Computer Science. Vol...
7 KB (912 words) - 06:05, 14 October 2024
lengths of proofs in propositional calculus". In Pacholski, Leszek; Tiuryn, Jerzy (eds.). Computer Science Logic. Lecture Notes in Computer Science. Vol...
28 KB (3,623 words) - 00:56, 2 November 2024
report). Edinburgh University. Retrieved 30 September 2022. Jung, Achim; Tiuryn, Jerzy (1993). "A new characterization of lambda definability". Typed Lambda...
33 KB (4,587 words) - 21:42, 19 October 2024
PMC 2762518. PMID 19876381. Retrieved 6 October 2024. Bujnicki, Janusz M.; Tiuryn, Jerzy (2013-05-02). "Bioinformatics and Computational Biology in Poland"....
36 KB (4,158 words) - 04:31, 14 October 2024