4666 search results - page 21 / 934 » Equations on Timed Languages |
POPL
1990
ACM
14 years 2 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
DATE
1998
IEEE
14 years 2 months ago
1998
IEEE
A formal definition of the general VHDLAMS analogue system has been proposed to relate the way in which the language affects the specification of a non-linear discontinuous analog...
ICALP
2007
Springer
14 years 2 months ago
2007
Springer
We study the definability of constraint satisfaction problems (CSP) in various fixed-point and infinitary logics. We show that testing the solvability of systems of equations over...
ICCS
2005
Springer
14 years 3 months ago
2005
Springer
A simple method for animation of water waves is presented. The two-dimensional wave equation with damping is used to obtain a finite difference scheme for height distribution. A ...
MFCS
2004
Springer
14 years 3 months ago
2004
Springer
We consider the decidability of existence of solutions to language equations involving the operations of shuffle and deletion along trajectories. These operations generalize the o...