PhilPapers
PhilPeople
PhilArchive
PhilEvents
PhilJobs
Sign in
Sign in
News Feed
Find Philosophers
Departments
Radar
Help
Drag to reposition
Save
Cancel
Lynn Stevenson
North Park College and Theological Seminary
Home
Publications
1
Most Recent
Most Downloaded
Topics
News and Updates
1
More details
North Park College and Theological Seminary
Department of Philosophy
Regular Faculty
Chicago, Illinois, United States of America
All publications (
1
)
30
KT and S4 Satisfiability in a Constraint Logic Environment
with Katarina Britz and Tertia Hörne
In Tu-Bao Ho & Zhi-Hua Zhou (eds.),
Pricai 2008: Trends in Artificial Intelligence
, Springer. pp. 370--381. 2008.
Areas of Mathematics