Back to Results
First PageMeta Content
Science / Searching / Mathematical notation / Predicate logic / Theoretical computer science / Free variables and bound variables / De Bruijn index / De Bruijn notation / Variable / Mathematics / Lambda calculus / Information science


Term Indexing for the LEO-II Prover Frank Theiß1 Christoph Benzm¨ uller2 1 FR Informatik, Universit¨at des Saarlandes, Saarbr¨
Add to Reading List

Document Date: 2011-03-22 14:12:16

Open Document

File Size: 144,71 KB

Share Result on Facebook

Company

Computer Laboratory / /

Country

Germany / /

/

Facility

The University of Cambridge / Cambridge University / /

MarketIndex

PST / /

Organization

Cambridge University / University of Cambridge / /

Person

de Bruijn / /

ProgrammingLanguage

SQL / /

Technology

relational database / /

SocialTag