AAAAAA
Results:
1-12
|
Results: 12
Authors:
KOZEN D
Citation: D. Kozen, SET CONSTRAINTS AND LOGIC PROGRAMMING, Information and computation, 142(1), 1998, pp. 2-25
Authors:
KOZEN D
STEFANSSON K
Citation: D. Kozen et K. Stefansson, COMPUTING THE NEWTONIAN GRAPH, Journal of symbolic computation, 24(2), 1997, pp. 125-136
Authors:
KOZEN D
Citation: D. Kozen, KLEENE ALGEBRA WITH TESTS, ACM transactions on programming languages and systems, 19(3), 1997, pp. 427-443
Authors:
KOZEN D
LANDAU S
ZIPPEL R
Citation: D. Kozen et al., DECOMPOSITION OF ALGEBRAIC-FUNCTIONS, Journal of symbolic computation, 22(3), 1996, pp. 235-246
Authors:
KOZEN D
Citation: D. Kozen, RATIONAL SPACES AND SET CONSTRAINTS, Theoretical computer science, 167(1-2), 1996, pp. 73-94
Authors:
KLARLUND N
KOZEN D
Citation: N. Klarlund et D. Kozen, RABIN MEASURES, Chicago journal of theoretical computer science, 1(3), 1995, pp. 1-24
Authors:
AIKEN A
KOZEN D
WIMMERS E
Citation: A. Aiken et al., DECIDABILITY OF SYSTEMS OF SET CONSTRAINTS WITH NEGATIVE CONSTRAINTS, Information and computation, 122(1), 1995, pp. 30-44
Authors:
KOZEN D
Citation: D. Kozen, A COMPLETENESS THEOREM FOR KLEENE ALGEBRAS AND THE ALGEBRA OF REGULAREVENTS, Information and computation, 110(2), 1994, pp. 366-390
Authors:
KOZEN D
ZAKS S
Citation: D. Kozen et S. Zaks, OPTIMAL BOUNDS FOR THE CHANGE-MAKING PROBLEM, Theoretical computer science, 123(2), 1994, pp. 377-388
Authors:
KOZEN D
Citation: D. Kozen, FOREWORD, Journal of algorithms, 17(1), 1994, pp. 1-1
Authors:
KOZEN D
PALSBERG J
SCHWARTZBACH MI
Citation: D. Kozen et al., EFFICIENT INFERENCE OF PARTIAL TYPES, Journal of computer and system sciences, 49(2), 1994, pp. 306-324
Authors:
KOZEN D
Citation: D. Kozen, 29TH IEEE CONFERENCE ON FOUNDATIONS OF COMPUTER-SCIENCE, OCTOBER 24-26, 1988 - FOREWORD, Journal of computer and system sciences, 47(2), 1993, pp. 249-249
Risultati:
1-12
|