198 citations
- Slovak Academy of SciencesSK13 papers
- Uppsala UniversitySE7 papers
- Stony Brook UniversityUS5 papers
- City University of New YorkUS3 papers
- Czech Academy of Sciences, Astronomical InstituteCZ3 papers
- Helsinki Institute of PhysicsFI3 papers
- Hunter CollegeUS3 papers
- Imperial College LondonGB3 papers
- P.N. Lebedev Physical Institute of the Russian Academy of SciencesRU3 papers
- University of HelsinkiFI3 papers
- University of TurkuFI3 papers
- Astronomical Institute of the Slovak Academy of SciencesSK2 papers
Showing 2005Show all
2 papers · 1 filter
cs.LO2005
Equivalence-Checking on Infinite-State Systems: Techniques and Results
Antonin Kucera, Petr Jancar
The paper presents a selection of recently developed and/or used techniques for equivalence-checking on infinite-state systems, and an up-to-date overview of existing results (as o…
math-ph2005
Graded Lie algebra of Hermitian tangent valued forms
Josef Janyška, Marco Modugno
In the theory of so called "Covariant Quantum Mechanics" a basic role is played by Hermitian vector fields on a complex line bundle in the frameworks of Galilei and Einstein spacet…