ask others

Stavros Konstantinidis

◀ ▶ joint publications with Krystian Dudzinski

> Home > Persons > Stavros Konstantinidis
> Home > Persons > Krystian Dudzinski

Publications

2012
[j28]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ijfcs/DudzinskiK12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ijfcs/DudzinskiK12
Krystian Dudzinski, Stavros Konstantinidis:
Formal Descriptions of Code Properties: Decidability, Complexity, Implementation. Int. J. Found. Comput. Sci. 23(1): 67-85 (2012)

maintained by

at