Back to Results
First PageMeta Content
Functional programming / Monad / Matching / Regular expression / Summation / Mathematics / Computer programming / Software engineering


Document Date: 2007-07-23 16:44:35

Open Document

File Size: 263,66 KB

Share Result on Facebook

/

IndustryTerm

select g-applications / proof search / congruence proof search procedure / software verification applications / /

Person

Leonardo de Moura / Nikolaj Bjørner / /

Position

equivalence class representative / Prime Minister / representative / /

ProgrammingLanguage

Prolog / Java / C / /

Technology

E-matching algorithm / virtual machine / Java / dom / matching algorithm / /

SocialTag