Concepedia

FANGZEN LIN

FL

1

Publications

228

Citations

1

H-Index

1994

Active since

Affiliations

University of Toronto(Current)

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

Top concepts

EngineeringFormal MethodsComputer ScienceMechanism DesignAutomated ReasoningFormal VerificationTheory Of ComputingComputational Complexity

Publications per year

1994–1994

1

Publications

1

State Constraints Revisited

FANGZEN LIN, Ray Reiter · Journal of Logic and Computation · 1994 · 228 citations

Theory Of Computing, Computational Logic, Constraint Solving +14

Rows per page

1–1 of 1