226 search results - page 35 / 46 » Extensional Theories and Rewriting |
98
Voted
CORR
2006
Springer
15 years 15 days ago
2006
Springer
Lie group theory states that knowledge of a m-parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by m the number of equation. ...
97
Voted
CALCO
2009
Springer
15 years 7 months ago
2009
Springer
The exactness properties of coproducts in extensive categories and pushouts along monos in adhesive categories have found various applications in theoretical computer science, e.g....
71
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Variables make rule-based systems more abstract and expressive, as witnessed by term rewriting systems and two-level grammars. In this paper we show that variables can be...
101
Voted
CORR
2006
Springer
15 years 14 days ago
2006
Springer
Abstract. In the first part of this paper we present a theory of proof nets for full multiplicative linear logic, including the two units. It naturally extends the well-known theor...
183
Voted
POPL
2007
ACM
16 years 23 days ago
2007
ACM
It is well recognized that JavaScript can be exploited to launch browser-based security attacks. We propose to battle such attacks using program instrumentation. Untrusted JavaScr...