Thumbnail
Access Restriction
Open

Author Tiu, Alwen
Source CiteSeerX
Content type Text
Publisher Springer
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Simple Consequence ♦ Church Simple Theory ♦ Transition System ♦ Quantification Theory ♦ Standard Implementa-tion Technique ♦ Scope Extrusion ♦ Several Specification ♦ Fixed Point ♦ Symbolic Way ♦ Name Instantiation ♦ Difficult Problem ♦ Prototype Imple-mentation ♦ Modal Logic ♦ Prototype Implementation ♦ State Space ♦ Generic Quantifier ♦ Various Condition ♦ Infinite-branching Nature ♦ Proof Search ♦ Conservative Extension ♦ Logic Variable ♦ In-put Prefix ♦ Meta Theory
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 2005-01-01
Publisher Institution In CONCUR, volume 3653 of LNCS