713 search results - page 93 / 143 » Syntax and Semantics of Babel-17 |
109
Voted
CN
2002
15 years 17 days ago
2002
XML is a now a dominant standard for storing and exchanging information. With its increasing use in areas such as data warehousing and e-commerce, there is a rapidly growing need ...
121
click to vote
ENTCS
2002
15 years 17 days ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
111
click to vote
CN
1999
15 years 13 days ago
1999
The growing acceptance of XML as a standard for semi-structured documents on the Web opens up challenging opportunities for Web query languages. In this paper we introduce XML-GL,...
121
Voted
INFORMATICALT
1998
15 years 13 days ago
1998
This paper describes a method how to represent and build a reusable VHDL component. By that component we can, for example, describe a family of the relative VHDL models. To represe...
131
click to vote
JELIA
2010
Springer
14 years 11 months ago
2010
Springer
In previous work, the so-called Temporal Equilibrium Logic (TEL) was introduced. This formalism provides an extension of the Answer Set semantics for logic programs to arbirary the...