Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Filter
  • 1-10 ل  24 نتائج ل ""Binary relation""
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Petri automata for Kleene allegories

Subjects: converse; automata; Kleene algebraKyoto; JapanKyoto, Japan

  • Source: Logic in Computer Science ; https://hal.science/hal-01073936 ; Logic in Computer Science, Jul 2015, Kyoto, Japan. pp.68-79, ⟨10.1109/LICS.2015.17⟩ ; http://lics.rwth-aachen.de/lics15/

تفاصيل العنوان

×
Conference

Intuitionistic S4 is decidable

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]Boston; United StatesBoston, United States

  • Source: LICS 2023- 38th Annual ACM/IEEE Symposium on Logic in Computer Science ; https://inria.hal.science/hal-04267899 ; LICS 2023- 38th Annual ACM/

تفاصيل العنوان

×
Electronic Resource

Means and ends of control

Subjects: contributionToPeriodical

  • Source: Lind , M 2004 , Means and ends of control . in IEEE Conf. Systems Man and Cybernetics . vol. 1 , IEEE , 2004

تفاصيل العنوان

×
Academic Journal

Transition invariants

  • Source: http://www.avacs.org/fileadmin/Publikationen/Open/podelski.lics.04.pdf.

تفاصيل العنوان

×
  • 1-10 ل  24 نتائج ل ""Binary relation""