Results 301 to 310 of about 7,198 (311)
Some of the next articles are maybe not open access.
Sequent calculi and decidability for intuitionistic hybrid logic
Information and Computation, 2011Didier Galmiche, Yakoub Salhi
exaly
Number-conserving cellular automata I: decidability
Theoretical Computer Science, 2003Bruno Durand +2 more
exaly

