1269 search results - page 105 / 254 » Pi-Calculus in Logical Form |
102
click to vote
STOC
2006
ACM
16 years 1 months ago
2006
ACM
Producing a small DNF expression consistent with given data is a classical problem in computer science that occurs in a number of forms and has numerous applications. We consider ...
122
Voted
CORR
2004
Springer
15 years 16 days ago
2004
Springer
: The Game of Life cellular automaton is a classical example of a massively parallel collision-based computing device. The automaton exhibits mobile patterns, gliders, and generato...
109
Voted
JAPLL
2010
14 years 11 months ago
2010
Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or ...
113
click to vote
CIE
2007
Springer
15 years 6 months ago
2007
Springer
The intuition guiding the de…nition of computation has shifted over time, a process that is re‡ected in the changing formulations of the Church-Turing thesis. The theory of co...
CTCS
1989
Springer
15 years 4 months ago
1989
Springer
We introduce the notion of a candidate for “multiple valued universal constructions” and define stable functors (which generalise functors with left adjoints) in terms of fac...