Result: Computing overlappings by unification in the deterministic lambda calculus LR with letrec, case, constructors, seq and variable chains

*Title*:

Computing overlappings by unification in the deterministic lambda calculus LR with letrec, case, constructors, seq and variable chains / Conrad Rau and Manfred Schmidt-Schauß

*Author/editor-in-chief*:

Rau, Conrad; Schmidt-Schauß, Manfred

*Edition*:

September 1, 2011

*Publication*:

Frankfurt [am Main] : Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, 2011

*Physical description scale*:

Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Technical report Frank ; 46
*show_all_volumes*

*Result*: Computing overlappings by unification in the deterministic lambda calculus LR with letrec, case, constructors, seq and variable chains

*Additional information*

*Additional functions*

Result: Computing overlappings by unification in the deterministic lambda calculus LR with letrec, case, constructors, seq and variable chains

Additional information

Additional functions