CASC
2007
Springer
13 years 10 months ago
2007
Springer
CASC
2007
Springer
13 years 10 months ago
2007
Springer
We find a full system of invariants with respect to gauge transformations L g-1 Lg for third-order hyperbolic linear partial differential operators on the plane. The operators are...
CALCO
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. CIRC is an automated circular coinductive prover implemented as an extension of Maude. The circular coinductive technique that forms the core of CIRC is discussed, togeth...
CALCO
2007
Springer
13 years 10 months ago
2007
Springer
Specification-based testing is a particular case of black-box testing, which consists in deriving test cases from an analysis of a formal specification. We present in this paper an...
ASMTA
2009
Springer
13 years 10 months ago
2009
Springer
Discrete stochastic models (DSM) are widely used in various application fields today. Proxel-based simulation can outperform discrete event-based approaches in the analysis of smal...
ASMTA
2010
Springer
13 years 10 months ago
2010
Springer
ISSAC
1990
Springer
13 years 10 months ago
1990
Springer
In the previous papers [7-101we defined and explored a formal methodological framework on the basis of which resolution proof systems for strongly-finite logics can be introduced ...
ISSAC
1990
Springer
13 years 10 months ago
1990
Springer
Let a system of linear ordinary differential equations of the first order Y' = AY be given, where A is n x n matrix over a field F(X), assume that the degree degx(A) < d a...
ISSAC
1990
Springer
13 years 10 months ago
1990
Springer
We consider function fields of functions of one variable augmented by the binary operation of composition of functions. It is shown that the straightforward axiom
MPC
1989
Springer
13 years 10 months ago
1989
Springer