Database semantics for natural language
Artificial Intelligence
Foundations of Computational Linguistics: Man-Machine Communication in Natural Language
Foundations of Computational Linguistics: Man-Machine Communication in Natural Language
A unified language processing methodology
Theoretical Computer Science
Generating Model Checkers from Algebraic Specifications
Formal Methods in System Design
Full AFLS and nested iterated substitution
SWAT '69 Proceedings of the 10th Annual Symposium on Switching and Automata Theory (swat 1969)
Algebraic model of programming languages
MMACTEE'06 Proceedings of the 8th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
Rethinking database updates using a multiple assignment-based approach
WSEAS Transactions on Computers
Hi-index | 0.00 |
Due to the dynamic nature of the computing objects represented, the semantics of the specification languages used to formalize systems will be a transition system performing computation actions, while the syntax will be the linguistic expression of the actions performed by the transition system. Computing objects manipulated in computer science bear a lot of similarities with the mathematical objects produced by the systems discussed so far they also are very different. The concept of language is regarded as a communication tool that allows language users to develop knowledge, while interacting with their universe of discourse, and to communicate with each other, while exchanging knowledge, in that case for e-learning systems. The results presented here have as initial point [1], [7].