Result 1 to 20 of 5084 total
Axiomatizing hybrid products of monotone neighborhood frames. (English)
Electron. Notes Theor. Comput. Sci. 273, 51-67 (2011).
1
A hybrid public announcement logic with distributed knowledge. (English)
Electron. Notes Theor. Comput. Sci. 273, 33-50 (2011).
2
Constructive description logics hybrid-style. (English)
Electron. Notes Theor. Comput. Sci. 273, 21-31 (2011).
3
Hybrid metric propositional neighborhood logics with interval length binders. (English)
Electron. Notes Theor. Comput. Sci. 273, 3-19 (2011).
4
Preface. (English)
Electron. Notes Theor. Comput. Sci. 273, 1-2 (2011).
5
Non-intrusive structural coverage for objective caml. (English)
Electron. Notes Theor. Comput. Sci. 264, No. 4, 59-73 (2011).
6
Jrebel tool demo. (English)
Electron. Notes Theor. Comput. Sci. 264, No. 4, 51-57 (2011).
7
Encoding the Java virtual machine’s instruction set. (English)
Electron. Notes Theor. Comput. Sci. 264, No. 4, 35-50 (2011).
8
A dozen instructions make Java bytecode. (English)
Electron. Notes Theor. Comput. Sci. 264, No. 4, 19-34 (2011).
9
Reconstruction of type information from Java bytecode for component compatibility. (English)
Electron. Notes Theor. Comput. Sci. 264, No. 4, 3-18 (2011).
10
Preface. (English)
Electron. Notes Theor. Comput. Sci. 264, No. 4, 1-2 (2011).
11
The recursion scheme from the cofree recursive comonad. (English)
Electron. Notes Theor. Comput. Sci. 229, No. 5, 135-157 (2011).
12
Simulating finite eilenberg machines with a reactive engine. (English)
Electron. Notes Theor. Comput. Sci. 229, No. 5, 119-134 (2011).
13
Idioms are oblivious, arrows are meticulous, monads are promiscuous. (English)
Electron. Notes Theor. Comput. Sci. 229, No. 5, 97-117 (2011).
14
Modularity and implementation of mathematical operational semantics. (English)
Electron. Notes Theor. Comput. Sci. 229, No. 5, 75-95 (2011).
15
Algebraic specialization of generic functions for recursive types. (English)
Electron. Notes Theor. Comput. Sci. 229, No. 5, 57-74 (2011).
16
Attribute grammars as recursion schemes over cyclic representations of zippers. (English)
Electron. Notes Theor. Comput. Sci. 229, No. 5, 39-56 (2011).
17
What is a categorical model of arrows? (English)
Electron. Notes Theor. Comput. Sci. 229, No. 5, 19-37 (2011).
18
A partial type checking algorithm for type: type. (English)
Electron. Notes Theor. Comput. Sci. 229, No. 5, 3-17 (2011).
19
Preface. (English)
Electron. Notes Theor. Comput. Sci. 229, No. 5, 1-2 (2011).
20
Result 1 to 20 of 5084 total
Start
Contact
Print
General Help
