Results 221 to 226 of about 5,280 (226)

A topos foundation for theories of physics: I. Formal languages for physics

Journal of Mathematical Physics, 2008
Isham C J, C J Isham
exaly  

A note on Lindenmayer systems, Szilard languages, spectra, and equivalence

International Journal of Computer & Information Sciences, 1975
Derick Wood, Wood Derick
exaly  

Formal Verification of a Pipelined Cryptographic Circuit Using Equivalence Checking and Completion Functions

2007
Mark D Aagaard
exaly  

Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence

IEEE Transactions on Automatic Control, 2006
, Shengbing Jiang, Changyan Zhou
exaly  

Formal equivalence verification

2015
Erik Seligman
exaly  

Necessary decidable conditions for the word and equivalence problem of formal languages.

openaire