1127 search results - page 92 / 226 » Theory Extension in ACL2(r) |
110
Voted
TCS
2008
15 years 1 months ago
2008
The -calculus is an extension of the -calculus with a pattern matching facility. The form of the argument of a function can be speci ed and hence -calculus is more convenient than...
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Using category theoretic notions, in particular diagrams and their colimits, we provide a common semantic backbone for various notions of modularity in structured ontologies, and o...
187
Voted
POPL
2005
ACM
16 years 1 months ago
2005
ACM
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...
93
Voted
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
The problem of expressing I/O and side effects in functional languages is a well-established one. This paper addresses this problem from a general semantic viewpoint by giving a u...
113
click to vote
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
Maximal clique enumeration (MCE) is a fundamental problem in graph theory and has important applications in many areas such as social network analysis and bioinformatics. The prob...