Results 221 to 230 of about 129,017 (253)

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

Canadian Conference on Electrical and Computer Engineering, 2007
C. H. Lam, M. Aagaard
semanticscholar   +1 more source

The equivalence of deterministic gsm replications onQ-rational languages is decidable

Mathematical Systems Theory, 1987
P. Turakainen
semanticscholar   +1 more source

Three English adverbs and their formal equivalents in Romance languages<BR> A corpus-based collocational study

Languages in Contrast, 2008
openaire   +1 more source

On the Significance of Formal Equivalence of Image Juxtaposition in Poem Translation from the Perspective of Language Iconicity——Exemplified by Two Translated Versions of Autumn Thoughts

, 2009
Liu Ji-xiang
openalex  

Strong Equivalence and Program's Structure in Arguing Essential Equivalence Between First-Order Logic Programs

International Symposium on Practical Aspects of Declarative Languages, 2019
Yuliya Lierler
semanticscholar   +1 more source

American Cancer Society Guideline for the Early Detection of Cervical Neoplasia and Cancer

Ca-A Cancer Journal for Clinicians, 2002
Carolyn D Runowicz, Robert A Smith, Andreas S Panayides   +2 more
exaly  

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

, 1979
Günter Hotz
openalex  

American Cancer Society Guideline for Human Papillomavirus (HPV) Vaccine Use to Prevent Cervical Cancer and Its Precursors

Ca-A Cancer Journal for Clinicians, 2007
Philip E Castle, Diane M Harper, Robert A Smith   +2 more
exaly  

Assigning Meanings to Programs

Program Verification, 1993
R. W. Floyd
semanticscholar   +1 more source