Search results
- 1.0374767 - MÚ 2012 RIV DE eng C - Conference Paper (international conference)
Tzameret, Iddo
Algebraic proofs over noncommutative formulas.
Theory and Applications of Models of Computation. Berlin: Springer, 2010 - (Kratochvíl, J.; Li, A.; Fiala, J.; Kolman, P.), s. 60-71. Lecture Notes in Computer Science, 6108. ISBN 978-3-642-13561-3. ISSN 0302-9743.
[TAMC 2010. Theory and Applications of Models of Computation Annual Conference /7./. Prague, (CZ), 07.06.2010-11.06.2010]
Institutional research plan: CEZ:AV0Z10190503
Keywords : constraint propagation * multilinear proofs * complexity
Subject RIV: BA - General Mathematics
http://link.springer.com/chapter/10.1007%2F978-3-642-13562-0_7
Permanent Link: http://hdl.handle.net/11104/0207603File Download Size Commentary Version Access Tzameret.pdf 1 221.2 KB Publisher’s postprint require - 2.0344069 - ÚI 2011 RIV DE eng C - Conference Paper (international conference)
Ratschan, Stefan
Safety Verification of Non-linear Hybrid Systems is Quasi-Semidecidable.
Theory and Applications of Models of Computation. Berlin: Springer, 2010 - (Kratochvíl, J.; Li, A.; Fiala, J.; Kolman, P.), s. 397-408. Lecture Notes in Computer Science, 6108. ISBN 978-3-642-13561-3. ISSN 0302-9743.
[TAMC 2010. Theory and Applications of Models of Computation Annual Conference /7./. Prague, (CZ), 07.06.2010-11.06.2010]
R&D Projects: GA ČR GC201/08/J020
Institutional research plan: CEZ:AV0Z10300504
Keywords : verification * hybrid systems * decidebility
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0186379File Download Size Commentary Version Access a0344069.pdf 0 198.7 KB Publisher’s postprint require