-
1
-
-
0000409564
-
An optimal lower bound on the number of variables for graph identifications
-
J. Cai, M. Fürer, and N. Immerman, "An optimal lower bound on the number of variables for graph identifications, " Combinatorica, vol. 12, no. 4, pp. 389-410, 1992.
-
(1992)
Combinatorica
, vol.12
, Issue.4
, pp. 389-410
-
-
Cai, J.1
Fürer, M.2
Immerman, N.3
-
2
-
-
23944501086
-
A new approach to abstract syntax with variable binding
-
M. Gabbay and A. M. Pitts, "A new approach to abstract syntax with variable binding, " Formal Asp. Comput., vol. 13, no. 3-5, pp. 341-363, 2002.
-
(2002)
Formal Asp. Comput.
, vol.13
, Issue.3-5
, pp. 341-363
-
-
Gabbay, M.1
Pitts, A.M.2
-
3
-
-
80052155671
-
Automata with group actions
-
M. Bojánczyk, B. Klin, and S. Lasota, "Automata with group actions, " in LICS, 2011, pp. 355-364.
-
(2011)
LICS
, pp. 355-364
-
-
Bojánczyk, M.1
Klin, B.2
Lasota, S.3
-
4
-
-
0004256163
-
Studies in logic and the foundations of mathematics
-
North-Holland
-
J. Barwise, Ed., Handbook of Mathematical Logic, ser. Studies in Logic and the Foundations of Mathematics. North-Holland, 1977, no. 90.
-
(1977)
Handbook of Mathematical Logic, ser
, Issue.90
-
-
Barwise, J.1
-
7
-
-
70350366930
-
Nominal domain theory for concurrency
-
D. Turner and G. Winskel, "Nominal domain theory for concurrency, " in CSL, 2009, pp. 546-560.
-
(2009)
CSL
, pp. 546-560
-
-
Turner, D.1
Winskel, G.2
-
8
-
-
79953166828
-
Algorithmic nominal game semantics
-
A. S. Murawski and N. Tzevelekos, "Algorithmic nominal game semantics, " in ESOP, 2011, pp. 419-438.
-
(2011)
ESOP
, pp. 419-438
-
-
Murawski, A.S.1
Tzevelekos, N.2
-
9
-
-
84883368723
-
A machine-independent characterization of timed languages
-
M. Bojánczyk and S. Lasota, "A machine-independent characterization of timed languages, " in ICALP (2), 2012, pp. 92-103.
-
(2012)
ICALP (2)
, pp. 92-103
-
-
Bojánczyk, M.1
Lasota, S.2
-
10
-
-
84883426002
-
Toward model theory with data values
-
M. Bojánczyk and T. Place, "Toward model theory with data values, " in ICALP (2), 2012, pp. 116-127.
-
(2012)
ICALP (2)
, pp. 116-127
-
-
Bojánczyk, M.1
Place, T.2
-
11
-
-
84857154450
-
Towards nominal computation
-
M. Bojánczyk, L. Braud, B. Klin, and S. Lasota, "Towards nominal computation, " in POPL, 2012, pp. 401-412.
-
(2012)
POPL
, pp. 401-412
-
-
Bojánczyk, M.1
Braud, L.2
Klin, B.3
Lasota, S.4
-
12
-
-
84880211248
-
Imperative programming in sets with atoms
-
M. Bojánczyk and S. Torúnczyk, "Imperative programming in sets with atoms, " in FSTTCS, 2012, pp. 4-15.
-
(2012)
FSTTCS
, pp. 4-15
-
-
Bojánczyk, M.1
Torúnczyk, S.2
-
13
-
-
0001154051
-
Stable finitely homogeneous structures
-
G. Cherlin and A. Lachlan, "Stable finitely homogeneous structures, " Trans. AMS, vol. 296, no. 2, pp. 815-850, 1985.
-
(1985)
Trans. AMS
, vol.296
, Issue.2
, pp. 815-850
-
-
Cherlin, G.1
Lachlan, A.2
|