guest ::
login
Digital Repository
Search
Submit
Help
About
Home
>
Reports
>
Research reports
> A Probabilistic Nonequivalence Test for Syntactic (1,+k)-branching Programs
Information
Files
Original title:
A Probabilistic Nonequivalence Test for Syntactic (1,+k)-branching Programs
Authors:
Savický, Petr
Document type:
Research reports
Year:
1998
Language:
eng
Series:
Technical Report
, volume: V-754
Keywords:
branching programs
;
equivalence test
;
satisfiability test
Project no.:
GA201/98/0717
(
CEP
)
Funding provider:
GA ČR
Rights:
This work is protected under the Copyright Act No.
121/2000
Coll.
Institution:
Institute of Computer Science AS ČR (
web
)
Original record:
http://hdl.handle.net/11104/0123723
Permalink:
http://www.nusl.cz/ntk/nusl-33769
The record appears in these collections:
Research
>
Institutes ASCR
>
Institute of Computer Science
Reports
>
Research reports
Record created 2011-07-01, last modified 2023-12-11
Similar records
Fulltext:
PDF
[Download]
Plný tet:
PDF
[Download]
If you can´t see the document in your browser, save it to your PC and open it in a suitable application.
Export as
DC
,
NUŠL
,
RIS
Share