3468 search results - page 116 / 694 » An open logical framework |
77
Voted
NIME
2005
Springer
15 years 6 months ago
2005
Springer
This paper will demonstrate the use of the Smart Controller workbench in the Interactive Bell Garden. Keywords Control Voltage, Open Sound Control, Algorithmic Composition, MIDI, ...
LICS
1999
IEEE
15 years 5 months ago
1999
IEEE
An important open question in complexity theory is whether the circuit complexity class TC0 is (strictly) weaker than LOGSPACE. This paper considers this question from the viewpoi...
99
Voted
WOODPECKER
2001
15 years 2 months ago
2001
Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems. In this paper we explore the possibilit...
75
Voted
CORR
2002
Springer
15 years 17 days ago
2002
Springer
Treebank formats and associated software tools are proliferating rapidly, with little consideration for interoperability. We survey a wide variety of treebank structures and opera...
80
Voted
CONCUR
2007
Springer
15 years 7 months ago
2007
Springer
It is well known that bisimulation on µ-expressions cannot be finitely axiomatised in equational logic. Complete axiomatisations such as those of Milner and Bloom/´Esik necessar...