Back to Results
First PageMeta Content
Formal languages / Logic programming / Automated theorem proving / Propositional calculus / Rewriting / Unification / Substitution / Abstract rewriting system / Entailment / Logic / Theoretical computer science / Logic in computer science


Twenty Years of Rewriting Logic Jos´e Meseguer Computer Science Department University of Illinois at Urbana-Champaign, IL 61801, USA Abstract
Add to Reading List

Document Date: 2012-09-13 14:58:45

Open Document

File Size: 727,68 KB

Share Result on Facebook

City

Urbana-Champaign / /

Company

Distributed Embedded Systems / Distributed Stochastic Hybrid Systems / Real-Time Systems / Probabilistic Systems / Cyber-Physical Systems / Distributed Real-Time Systems / /

Facility

Rewriting Logic Jos´e Meseguer Computer Science Department University of Illinois / /

IndustryTerm

chemical systems / concurrent systems / communication protocol / formal tools / /

Organization

University of Illinois / Maude Church / /

Person

Nat / Narciso Mart / Maude Debugger / Ai / Fuensanta Guaita / /

Position

Actor / /

ProvinceOrState

Illinois / /

Technology

communication protocol / bioinformatics / Simulation / 4.5 Resource Sharing Protocols / Network Protocols / /

SocialTag