Results 1 to 10 of about 8,603 (263)

A compositional natural semantics and Hoare logic for low-level languages

Theoretical Computer Science, 2007
Tarmo Uustalu, Ando Saabas
exaly  

A Compositional Natural Semantics and Hoare Logic for Low-Level Languages

Electronic Notes in Theoretical Computer Science, 2006
Tarmo Uustalu, Ando Saabas
exaly  

Usage of Algorithms for the Analysis Natural Languages Texts Based on Intensional Logic of Montague in Area of Finding Answers on Questions

Procedia Computer Science, 2017
Anatolii Shvetcov
exaly  

Linguistics and natural logic

SynthÈse, 1970
George Lakoff
exaly  

Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization

SIAM Journal on Computing, 2015
Dino Mandrioli, Violetta Lonati, Matteo Pradella   +2 more
exaly  

A TABOO-NOT in OPEN World Assumption for A Natural Language based Logic Programming

2022
exaly  

Parallel programming with logic languages: A survey

Computer Languages, Systems and Structures, 1992
Paolo Ciancarini
exaly  

Knowledge representation: Predicate logic implementation using sentence-type for natural languages

2013
Latesh Malik
exaly  

The family of concurrent logic programming languages

ACM Computing Surveys, 1989
Ehud Shapiro
exaly  

Logic and Natural Selection

Logica Universalis, 2010
Jaroslav Peregrin, Peregrin Jaroslav
exaly