941 search results - page 88 / 189 » Mathematics on the (Semantic) NET |
120
click to vote
CALCO
2009
Springer
15 years 10 months ago
2009
Springer
Higher-order recursion schemes are equations defining recursively new operations from given ones called “terminals”. Every such recursion scheme is proved to have a least inte...
151
click to vote
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
133
Voted
TOOLS
2008
IEEE
15 years 10 months ago
2008
IEEE
Association between classes is a central construct in OO modeling. However, precise semantics of associations has not been defined, and only the most basic types are implemented i...
127
click to vote
ADC
2003
Springer
15 years 9 months ago
2003
Springer
Mathematics is forcing towards a consistent framework of theory development. Computer Science is an engineering discipline and sometimes suffers from ad-hoc definitions. Transac...
111
click to vote
FSTTCS
2000
Springer
15 years 7 months ago
2000
Springer
This paper reports on results concerning the combination of non-standard semantics via interpreters. We define what a semantics combination means and identify under which condition...