On decidability of skeletal sets [Abstract of thesis]
Nguyen Xuang Dung (1990)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Displaying similar documents to “Mathematical and computer modelling of mechanisms regulating blood flow at microcirculation level [Abstract of thesis]”
On decidability of skeletal sets [Abstract of thesis]
Adaptive methods of numerical quadrature [Abstract of thesis]
F. Němec (1990)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
A description of the AS-language for the Elliott 803 computer
Krystyna Sochacz, J. Szczepkowicz (1966)
Applicationes Mathematicae
Similarity:
C++ Tools to construct our user-level language
Frédéric Hecht (2010)
ESAIM: Mathematical Modelling and Numerical Analysis
Similarity:
The aim of this paper is to present how to make a dedicaded computed language polymorphic and multi type, in to solve partial differential equations with the finite element method. The driving idea is to make the language as close as possible to the mathematical notation.
The goals of linguistic theory and applicative grammar
Sebastian Shaumyan (1982)
Mathématiques et Sciences Humaines
Similarity:
On the correct formulation of syntactic rules in ergative languages
S. Shaumyan (1982)
Mathématiques et Sciences Humaines
Similarity:
On the expressive power of the shuffle operator matched with intersection by regular sets
Joanna Jȩdrzejowicz, Andrzej Szepietowski (2001)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
We investigate the complexity of languages described by some expressions containing shuffle operator and intersection. We show that deciding whether the shuffle of two words has a nonempty intersection with a regular set (or fulfills some regular pattern) is NL-complete. Furthermore we show that the class of languages of the form , with a shuffle language and a regular language , contains non-semilinear languages and does not form a family of mildly context- sensitive languages. ...