Skip to main navigation
Skip to search
Skip to main content
Tel Aviv University Home
Update Request & User Guide (TAU staff only)
Home
Experts
Research units
Equipment
Research output
Prizes
Activities
Search by expertise, name or affiliation
Logical debugging
Nachum Dershowitz
*
, Yuh Jeng Lee
*
Corresponding author for this work
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Logical debugging'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Debugging
100%
Specification
58%
Program Synthesis
52%
Inductive Inference
46%
Logic Programs
38%
Reasoning
31%
Synthesis
29%
Methodology
24%
Form
13%
Model
10%