Jump to Navigation
Home
People
Faculty
Staff
Affiliate Faculty
Adjunct Faculty
Emeritus Faculty
Visiting Faculty
Faculty Honors
National Academies of Sciences and Engineering
CAREER Awards
PECASE Awards
ACM Fellows
ACM Distinguished Member Grade
AAAS Fellows
IEEE Fellows
IAPR Fellows
AAAI Fellows
SIAM Fellows
Sloan Fellows
ACL Fellows
Research
Centers & Labs
Infrastructure
Computing Themes
Industry Partners
About Us
About Us
Mission & Vision
News
Our Newsletter
Careers
Directions
Contact us
Resources
Diversity & Inclusion
Policies & Procedures
COVID-19
Code of Conduct
Center & Lab Policies
Processes & Criteria to Evaluate Faculty
Intranet
Business Office
Computing protected circumscription
Title
Computing protected circumscription
Publication Type
Journal Articles
Year of Publication
1985
Authors
Minker J
,
Perlis D
Journal
The Journal of Logic Programming
Volume
2
Issue
4
Pagination
235 - 249
Date Published
1985///
Google Scholar
BibTeX
RTF
EndNote XML
Publications
By year
By publication type
Books
Conference papers
Journal Articles
Magazine articles
Reports
Theses