941 search results - page 93 / 189 » Mathematics on the (Semantic) NET |
82
Voted
LICS
2002
IEEE
15 years 5 months ago
2002
IEEE
The meaning and mathematical consequences of linearity (managing without a presumed ability to copy) are studied for a path-based model of processes which is also a model of affi...
99
Voted
CSL
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. In this paper we show how to extend a constructive type theory with a principle that captures the spirit of Markov’s principle from constructive recursive mathematics. ...
94
Voted
JAR
2007
15 years 18 days ago
2007
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...
103
Voted
ECBS
2009
IEEE
15 years 7 months ago
2009
IEEE
With the pressing in-time-market towards customized services, software product lines (SPL) are increasingly characterizing most of software landscape. SPL are mainly structured th...
100
click to vote
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...