<--- Back to Details
First PageDocument Content
Theoretical computer science / Mathematics / Programming language theory / Logic in computer science / Mathematical logic / Asymptotic analysis / Logic programming / Type theory / Unification / Rewriting / Rewrite order / Term
Date: 2014-04-01 05:47:01
Theoretical computer science
Mathematics
Programming language theory
Logic in computer science
Mathematical logic
Asymptotic analysis
Logic programming
Type theory
Unification
Rewriting
Rewrite order
Term

On Rewriting Terms with Strict Functions and Error Propagation Olaf Owe Department of Informatics University of Oslo September 1990

Add to Reading List

Source URL: folk.uio.no

Download Document from Source Website

File Size: 245,17 KB

Share Document on Facebook

Similar Documents

Programming Language Methods in Computer Security John Mitchell Stanford University

Programming Language Methods in Computer Security John Mitchell Stanford University

DocID: 1umIb - View Document

Theory and Practice of Logic Programming  1 The Language Features and Architecture of B-Prolog

Theory and Practice of Logic Programming 1 The Language Features and Architecture of B-Prolog

DocID: 1tFuL - View Document

Dr Nicholas Cameron Curriculum Vitae Higher Education PhD in Computing (Programming Language Theory), Imperial College London, April 2009. - “Existential Types for Variance — Java Wildcards and Ownership Types” (ab

Dr Nicholas Cameron Curriculum Vitae Higher Education PhD in Computing (Programming Language Theory), Imperial College London, April 2009. - “Existential Types for Variance — Java Wildcards and Ownership Types” (ab

DocID: 1sUyz - View Document

Northeast PARC Regional Working Group Meeting August 13-14, 2002 in Pennsylvania Tuesday, August 13, :00 pm  Arrival and Registration

Northeast PARC Regional Working Group Meeting August 13-14, 2002 in Pennsylvania Tuesday, August 13, :00 pm Arrival and Registration

DocID: 1ru6u - View Document

bイオウウ・ャウL@SP@o」エッ「・イ@RPQU cost@PUUOQU decision  sオ「ェ・」エZ@

bイオウウ・ャウL@SP@o」エッ「・イ@RPQU cost@PUUOQU decision sオ「ェ・」エZ@

DocID: 1rtVS - View Document