Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Complexity and decidability of some equivalence-checking problems

Sawa, Zdeněk

Publication date

January 2005

Publisher

Vysoká škola báňská - Technická univerzita Ostrava

Abstract

Import 20/04/2006Prezenční výpůjčkaVŠB - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky

Extracted data

Related items

Decidability issues for processes with infinitely many states

Kucera, Antonin

January 1997

Available from STL Prague, CZ / NTK - National Technical LibrarySIGLECZCzech Republi

Problematika dlouhodobě nezaměstnaných v okrese Louny

Pavlátka, Josef

January 2003

Import 20/04/2006Prezenční výpůjčkaVŠB - Technická univerzita Ostrava. Fakulta hornicko-geologická. ...

Problematika cestovního ruchu

Mudrová, Martina

January 1999

Import 20/04/2006Prezenční výpůjčkaVŠB - Technická univerzita Ostrava. Ekonomická fakulta. Katedra (...

Complexity of Equivalence Checking Problems

Zdeněk Sawa

April 2008

Abstract. The article summarizes the results of the author in the area of automated verification of ...

New techniques for proving the decidability of equivalence problems

Culik, Karel

March 1990

AbstractWe will discuss several recently developed techniques for proving the decidability of the eq...

Some simplified undecidable and NP-hard problems for simple programs

Gurari, Eitan M.
Ibarra, Oscar H.

December 1982

AbstractThe complexity of the equivalence problem for several classes of simple programs with a fixe...

Complete formal systems for equivalence problems

Sénizergues, Géraud

January 2000

AbstractWe describe four complete and recursively enumerable formal systems S0,D0,H0,B0. Each one of...

Equivalence-checking with infinite-state systems: Techniques and results

Kučera, Antonín
Jančar, Petr

January 2002

The paper presents an overview of techniques and results for equivalence-checking with infinite-stat...

Complete problems for complexity classes A note

Ambos-Spies, K.
Dortmund Univ. (Germany). Fachbereich Informatik

January 1985

TIB: RN 4237 (200) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbibliot...

The Problem of Non-equivalence: Possible Strategies for Dealing with It

Veronika Krejčí

January 2008

strategiemi, jak ji řešit v překladu. Jsou v ní vysvětleny různé druhy ekvivalence a překladatelské...

Problematika institucionalizace čs. podnikatelské sféry

Fischer, Zdeněk

January 1992

Import 20/04/2006Prezenční výpůjčkaVŠB - Technická univerzita Ostrava. Ekonomická fakult

Calibrating word problems of groups via the complexity of equivalence relations

Nies, Andrè
SORBI, ANDREA

January 2018

(1) There is a finitely presented group with a word problem which is a uniformly effectively inse...

Problematika recyklace elektronického a elektrotechnického odpadu

Bělešová, Naděžda

January 2003

Import 20/04/2006Prezenční výpůjčkaVŠB - Technická univerzita Ostrava. Fakulta metalurgie a materiál...

Problematika lázeňství ve městě Jeseníku

Kotásková, Lenka

January 2005

Import 20/04/2006Prezenční výpůjčkaVŠB - Technická univerzita Ostrava. Ekonomická fakulta. Katedra (...

BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking

Bergamini, Damien
Descoubes, Nicolas
Joubert, Christophe
Mateescu, Radu

April 2005

International audienceThe equivalence checking problem consists in verifying that a system (e.g., a ...

Decidability issues for processes with infinitely many states

Kucera, Antonin

January 1997

Available from STL Prague, CZ / NTK - National Technical LibrarySIGLECZCzech Republi

Problematika dlouhodobě nezaměstnaných v okrese Louny

Pavlátka, Josef

January 2003

Import 20/04/2006Prezenční výpůjčkaVŠB - Technická univerzita Ostrava. Fakulta hornicko-geologická. ...

Problematika cestovního ruchu

Mudrová, Martina

January 1999

Import 20/04/2006Prezenční výpůjčkaVŠB - Technická univerzita Ostrava. Ekonomická fakulta. Katedra (...

Complexity of Equivalence Checking Problems

Zdeněk Sawa

April 2008

Abstract. The article summarizes the results of the author in the area of automated verification of ...

New techniques for proving the decidability of equivalence problems

Culik, Karel

March 1990

AbstractWe will discuss several recently developed techniques for proving the decidability of the eq...

Some simplified undecidable and NP-hard problems for simple programs

Gurari, Eitan M.
Ibarra, Oscar H.

December 1982

AbstractThe complexity of the equivalence problem for several classes of simple programs with a fixe...

Complete formal systems for equivalence problems

Sénizergues, Géraud

January 2000

AbstractWe describe four complete and recursively enumerable formal systems S0,D0,H0,B0. Each one of...

Equivalence-checking with infinite-state systems: Techniques and results

Kučera, Antonín
Jančar, Petr

January 2002

The paper presents an overview of techniques and results for equivalence-checking with infinite-stat...

Complete problems for complexity classes A note

Ambos-Spies, K.
Dortmund Univ. (Germany). Fachbereich Informatik

January 1985

TIB: RN 4237 (200) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbibliot...

The Problem of Non-equivalence: Possible Strategies for Dealing with It

Veronika Krejčí

January 2008

strategiemi, jak ji řešit v překladu. Jsou v ní vysvětleny různé druhy ekvivalence a překladatelské...

Problematika institucionalizace čs. podnikatelské sféry

Fischer, Zdeněk

January 1992

Import 20/04/2006Prezenční výpůjčkaVŠB - Technická univerzita Ostrava. Ekonomická fakult

Calibrating word problems of groups via the complexity of equivalence relations

Nies, Andrè
SORBI, ANDREA

January 2018

(1) There is a finitely presented group with a word problem which is a uniformly effectively inse...

Problematika recyklace elektronického a elektrotechnického odpadu

Bělešová, Naděžda

January 2003

Import 20/04/2006Prezenční výpůjčkaVŠB - Technická univerzita Ostrava. Fakulta metalurgie a materiál...

Problematika lázeňství ve městě Jeseníku

Kotásková, Lenka

January 2005

Import 20/04/2006Prezenční výpůjčkaVŠB - Technická univerzita Ostrava. Ekonomická fakulta. Katedra (...

BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking

Bergamini, Damien
Descoubes, Nicolas
Joubert, Christophe
Mateescu, Radu

April 2005

International audienceThe equivalence checking problem consists in verifying that a system (e.g., a ...

Decidability issues for processes with infinitely many states

Kucera, Antonin

January 1997

Available from STL Prague, CZ / NTK - National Technical LibrarySIGLECZCzech Republi

Problematika dlouhodobě nezaměstnaných v okrese Louny

Pavlátka, Josef

January 2003

Import 20/04/2006Prezenční výpůjčkaVŠB - Technická univerzita Ostrava. Fakulta hornicko-geologická. ...

Problematika cestovního ruchu

Mudrová, Martina

January 1999

Import 20/04/2006Prezenční výpůjčkaVŠB - Technická univerzita Ostrava. Ekonomická fakulta. Katedra (...