Concepedia

Author

FANGZEN LIN

University of Toronto

Also Known As

FANGZEN LIN

1

Publications

228

Citations

1

H-Index

8

Concepts

All Affiliations

University of Toronto
FL

About

FANGZEN LIN is an author at University of Toronto specializing in theory of computing, formal methods, and mechanism design.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

228

2

Computer Science

1

1

228

3

Theory Of Computing

1

1

228

4

Automated Reasoning

1

1

228

5

Computational Complexity

1

1

228

FANGZEN LIN

×

1

Publications

228

Citations

1

H-Index

YearCitations

State Constraints Revisited

FANGZEN LIN, Ray Reiter

Journal of Logic and Computation

1994

228

Page 1