850 search results - page 57 / 170 » A Logic Programming Language Based on Binding Algebras |
109
click to vote
ICALP
1998
Springer
15 years 5 months ago
1998
Springer
In the seventies, several classification schemes for the rational languages were proposed, based on the alternate use of certain operators (union, complementation, product and star...
122
click to vote
TCS
2002
15 years 29 days ago
2002
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
123
click to vote
EUSFLAT
2007
15 years 2 months ago
2007
Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. In [23], a solution based on Mixed Integer Linear Progr...
118
click to vote
IFIP
2009
Springer
14 years 11 months ago
2009
Springer
Cryptographic protocols can only be secure under certain inequality assumptions. Axiomatizing these inequalities explicitly is problematic: stating too many inequalities may impair...
ENTCS
2007
15 years 1 months ago
2007
The use of typed intermediate languages can significantly increase the reliability of a compiler. By typechecking the code produced at each transformation stage, one can identify...