BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Denmark
1 × France
Collaborated with:
I.Zakharyaschev R.I.Podlovchenko D.M.Rusakov
Talks about:
program (3) equival (3) problem (2) proposit (1) automata (1) approach (1) switch (1) effici (1) unifi (1) relat (1)

Person: Vladimir A. Zakharov

DBLP DBLP: Zakharov:Vladimir_A=

Contributed to:

CIAA 20052005
CIAA 20042004
ICALP 19981998

Wrote 3 papers:

CIAA-2005-PodlovchenkoRZ #equivalence #on the #problem #source code
On the Equivalence Problem for Programs with Mode Switching (RIP, DMR, VAZ), pp. 351–352.
CIAA-2004-ZakharovZ #automaton #multi #on the #problem #source code
On the Equivalence-Checking Problem for a Model of Programs Related with Multi-tape Automata (VAZ, IZ), pp. 293–305.
ICALP-1998-Zakharov #approach #decidability #equivalence #performance #source code
An Efficient and Unified Approach to the Decidability of Equivalence of Propositional Programs (VAZ), pp. 247–258.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.