Author of the publication

A Function Elimination Method for Checking Satisfiability of Arithmetical Logics.

, , and . Fundam. Informaticae, 143 (1-2): 51-71 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Compositional semantics and behavioral equivalences for P Systems, , , and . Theor. Comput. Sci., 395 (1): 77--100 (April 2008)Dynamic Hierarchical Machines, , , and . Fundam. Inform., 54 (2-3): 237--252 (2003)A comparison of Statecharts step semantics, , and . Theoretical Computer Science, 290 (1): 465--498 (January 2003)On disjunction of literals in triggers of statecharts transitions, and . Information Processing Letters, 84 (6): 305--310 (December 2002)Equivalences of Statecharts, , and . (1996)Equivalences of Statecharts, , and . (1996)SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes., , and . CoRR, (2017)A Causal Semantics for Timed Default Concurrent Constraint Programming., and . AMAST, volume 1816 of Lecture Notes in Computer Science, page 228-242. Springer, (2000)Probabilistic Congruence for Semistochastic Generative Processes., and . FoSSaCS, volume 3441 of Lecture Notes in Computer Science, page 63-78. Springer, (2005)A Function Elimination Method for Checking Satisfiability of Arithmetical Logics., , and . Fundam. Informaticae, 143 (1-2): 51-71 (2016)