Authors on this page:
- Maddalena Zacchi
- Michael Zakharyaschev
- Jing-Zhong Zhang
- Shipei Zhang
- Guo-Qiang Zhang
- Tian Zhao
- Lenore D. Zuck
- Zuck, L.
- Jeffery I. Zucker
- Amy E. Zwarico
Maddalena Zacchi
- Paper: Mario Coppo Maddalena Zacchi
Type inference and logical relations (LICS 1986) More Information...
Michael Zakharyaschev
- Paper: Ian Hodkinson Frank Wolter Michael Zakharyaschev
Decidable and undecidable fragments of first-order branching temporal logics (LICS 2002) More Information...
Jing-Zhong Zhang
- Paper: Shang-Ching Chou Xiao-Shan Gao Jing-Zhong Zhang
Automated production of traditional proofs for constructive geometry theorems (LICS 1993) More Information...
Shipei Zhang
- Paper: Shipei Zhang Oleg Sokolsky Scott Smolka
On the parallel complexity of model checking in the modal mu-calculus (LICS 1994) More Information...
Guo-Qiang Zhang
- Paper: Guo-Qiang Zhang William C. Rounds
Complexity of Power Default Reasoning (LICS 1997) More Information...
Tian Zhao
- Paper: Jens Palsberg Tian Zhao
Efficient and Flexible Matching of Recursive Types (LICS 2000) More Information... - Paper: Jens Palsberg Tian Zhao
Efficient Type Inference for Record Concatenation and Subtyping (LICS 2002) More Information...
Lenore D. Zuck
- Paper: Amir Pnueli Lenore D. Zuck
Probabilistic Verification by Tableaux (LICS 1986) More Information... - Paper: A. Prasad Sistla Lenore D. Zuck
On the Eventuality Operator in Temporal Logic (LICS 1987) More Information...
Zuck, L.
- Paper: Peuli, A. Zuck, L.
In and out of temporal logic (LICS 1993) More Information...
Jeffery I. Zucker
- Paper: Hing-Kai Hung Jeffery I. Zucker
Semantics of pointers, referencing and dereferencing with intensional logic (LICS 1991) More Information...
Amy E. Zwarico
- Paper: Rance Cleaveland Amy E. Zwarico
A theory of testing for real-time (LICS 1991) More Information...