Discover open access scientific publications

Search, annotate, share and cite publications

Publications by V. W. Marek

On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Basic Forward Chaining Construction for Logic Programs

English

Related publications

Operator Theory, Function Spaces, and Applications

Operator Theory: Advances and Applications

English

On the Continuity of the Trace Operator in GSBV(Ω) and GSBD(Ω)

ESAIM - Control, Optimisation and Calculus of Variations

Computational Mathematics

Systems Engineering

English

On the Homology Theory of Operator Algebras

International Journal of Mathematics and Mathematical Sciences

English

On the Proof Theory of Program Transformations

Logic Journal of the IGPL

English

A Theory on Perturbations of the Dirac Operator

Journal of Inequalities and Applications

Applied Mathematics

Discrete Mathematics

English

\Mathversion{bold}SPECTRAL CONTINUITY OF $(P,k)$-Quasiposinormal OPERATOR AND $(P,k)$-Quasihyponormal OPERATOR

International Journal of Applied Mathematics

Computational Theory

English

A Proof of Hobson's Formula With the Euler Operator

Kyushu Journal of Mathematics

English

On the 𝐾-Theory Proof of the Index Theorem

Contemporary Mathematics

English

A New Proof for the Multiplicative Property of the Boolean Cumulants With Applications to the Operator-Valued Case

Colloquium Mathematicum

English