Author of the publication

Codes and Combinatorial Structures from Circular Planar Nearrings.

, , and . CAI, volume 6742 of Lecture Notes in Computer Science, page 115-126. Springer, (2011)

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

Bounded Reachability for Temporal Logic over Constraint Systems., , , , , and . TIME, page 43-50. IEEE Computer Society, (2010)SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability., , , , and . SEFM, page 244-254. IEEE Computer Society, (2010)Automata and Logic on p-adic numbers.. ICTCS, page 117-120. (2009)Expressiveness and complexity of regular pure two-dimensional context-free languages., , and . Int. J. Comput. Math., 90 (8): 1708-1733 (2013)Codes and Combinatorial Structures from Circular Planar Nearrings., , and . CAI, volume 6742 of Lecture Notes in Computer Science, page 115-126. Springer, (2011)On Some Classes of 2D Languages and Their Relations., , and . IWCIA, volume 6636 of Lecture Notes in Computer Science, page 222-234. Springer, (2011)Completeness of the Bounded Satisfiability Problem for Constraint LTL., , , and . RP, volume 6945 of Lecture Notes in Computer Science, page 58-71. Springer, (2011)New designs from circular nearrings., , and . Electron. Notes Discret. Math., (2013)Deciding whether the ordering is necessary in a Presburger formula., and . Discret. Math. Theor. Comput. Sci., 12 (1): 21-38 (2010)Short 3-Collapsing Words over a 2-Letter Alphabet., , and . Developments in Language Theory, volume 6795 of Lecture Notes in Computer Science, page 469-471. Springer, (2011)