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:42, 24 March 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) - 19:27, 31 July 2024
ISBN 978-981-4719-95-7. Pudlák, Pavel; Buss, Samuel R. (1995). Pacholski, Leszek; Tiuryn, Jerzy (eds.). "How to lie without being (easily) convicted and the lengths...
28 KB (3,613 words) - 07:40, 6 September 2024
ISBN 978-0-521-45205-2. Pudlák, Pavel; Buss, Samuel R. (1995). Pacholski, Leszek; Tiuryn, Jerzy (eds.). "How to lie without being (easily) convicted and the lengths...
7 KB (898 words) - 06:44, 5 September 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) - 10:39, 14 August 2024
to Gentzen-Style Sequent Calculus Structure", in Pacholski, Leszek; Tiuryn, Jerzy (eds.), Computer Science Logic, 8th International Workshop, CSL '94...
56 KB (6,174 words) - 20:47, 8 September 2024