Back to Results
First PageMeta Content
Functions and mappings / Predicate logic / Model theory / Prolog / Function / Datalog / Predicate variable / FO / Inference / Logic / Mathematics / Mathematical logic


Document Date: 2006-10-10 10:09:19

Open Document

File Size: 1,38 MB

Share Result on Facebook

Company

IBM Corp. / Xerox / Mentor Graphics / Servio Logic Corp. / Intel / /

Currency

USD / /

Facility

Hebrew University / /

IndustryTerm

compile-time algorithms / formal and general algorithm / proper algorithm / slow and stupid algorithm / computing / run-time algorithms / implement evaluation algorithms / /

Organization

AT&T Foundation / Tektronix Foundation / Beaverton Chamber of Commerce / Hebrew University / National Science Foundation / Association for Computing Machinery / /

Person

Van Gelder / Francois Bancilhon / David Maierl Oregon / /

Position

evaluator for the same-generation problem / Datalog interpreter / Prime Minister / Porter / Walker / evaluator / /

ProgrammingLanguage

Prolog / Datalog / /

Technology

run-time algorithms / Henschen-Naqvi algorithm / compile-time algorithms / slow and stupid algorithm / implement evaluation algorithms / one algorithm / /

SocialTag