Thumbnail
Access Restriction
Open

Author Ohsaki, Hitoshi ♦ Middeldorp, Aart
Source CiteSeerX
Content type Text
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Powerful Tool ♦ Dummy Elimination ♦ Model V ♦ Underlying Algebra ♦ Present Soundness ♦ Rewrite System ♦ Semantic Labelling ♦ Completeness Result ♦ Equational Termination ♦ Equational Semantic Labelling Technique ♦ Main Result ♦ Equational Term ♦ Various Instantiation ♦ Equational Setting ♦ Equational Semantical La-belling ♦ Short Proof ♦ Partial Order V ♦ Term Rewrite System ♦ Zantema Distribution Elimination Technique ♦ Semantic Labeling ♦ Forbidden V
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 2000-01-01
Publisher Institution In Proc. of 14th Annual Conf. of the European Association for Computer Science Logic, LNCS 1862 (CSL'00