Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-6
|
Results: 6
A LOGIC-BASED APPROACH TO PROGRAM FLOW-ANALYSIS
Authors:
SAGIV M FRANCEZ N RODEH M WILHELM R
Citation:
M. Sagiv et al., A LOGIC-BASED APPROACH TO PROGRAM FLOW-ANALYSIS, Acta informatica, 35(6), 1998, pp. 457-504
FINITE-STATE UNIFICATION AUTOMATA AND RELATIONAL LANGUAGES
Authors:
SHEMESH Y FRANCEZ N
Citation:
Y. Shemesh et N. Francez, FINITE-STATE UNIFICATION AUTOMATA AND RELATIONAL LANGUAGES, Information and computation, 114(2), 1994, pp. 192-213
FINITE-MEMORY AUTOMATA
Authors:
KAMINSKI M FRANCEZ N
Citation:
M. Kaminski et N. Francez, FINITE-MEMORY AUTOMATA, Theoretical computer science, 134(2), 1994, pp. 329-363
PROGRAM COMPOSITION VIA UNIFICATION
Authors:
FIX L FRANCEZ N GRUMBERG O
Citation:
L. Fix et al., PROGRAM COMPOSITION VIA UNIFICATION, Theoretical computer science, 131(1), 1994, pp. 139-179
E-TYPE PRONOUNS, I-SUMS, AND DONKEY ANAPHORA
Authors:
LAPPIN S FRANCEZ N
Citation:
S. Lappin et N. Francez, E-TYPE PRONOUNS, I-SUMS, AND DONKEY ANAPHORA, Linguistics and philosophy, 17(4), 1994, pp. 391-428
FAIRNESS AND HYPERFAIRNESS IN MULTIPARTY INTERACTIONS
Authors:
ATTIE PC FRANCEZ N GRUMBERG O
Citation:
Pc. Attie et al., FAIRNESS AND HYPERFAIRNESS IN MULTIPARTY INTERACTIONS, Distributed computing, 6(4), 1993, pp. 245-254
Risultati:
1-6
|