Result 1 to 20 of 1141 total
Descriptive complexity for pictures languages. (English)
Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3‒6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPICS ‒ Leibniz International Proceedings in Informatics 16, 274-288, electronic only (2012).
1
Collapsing non-idempotent intersection types. (English)
Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3‒6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPICS ‒ Leibniz International Proceedings in Informatics 16, 259-273, electronic only (2012).
2
Cut reduction in linear logic as asynchronous session-typed communication. (English)
Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3‒6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPICS ‒ Leibniz International Proceedings in Informatics 16, 228-242, electronic only (2012).
3
Universal image noise removal filter based on type-2 fuzzy logic system and QPSO. (English)
Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 20, Suppl. 2, 207-232 (2012).
4
Some new approaches in functional programming based on categories. (English)
Zsók, Viktória (ed.) et al., Central European functional programming school. 4th summer school, CEFP 2011, Budapest, Hungary, June 14‒24, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32095-8/pbk). Lecture Notes in Computer Science 7241, 517-532 (2012).
5
Designing fast LTL model checking algorithms for many-core GPUs. (English)
J. Parallel Distrib. Comput. 72, No. 9, 1083-1097 (2012).
6
Full abstraction for the resource lambda calculus with tests, through Taylor expansion. (English)
Log. Methods Comput. Sci. 8, No. 4, Paper No. 3, 44 p. (2012).
7
Linear-use CPS translations in the enriched effect calculus. (English)
Log. Methods Comput. Sci. 8, No. 4, Paper No. 2, 27 p. (2012).
8
Writing out unifiers in linear temporal logic. (English)
J. Log. Comput. 22, No. 5, 1199-1206 (2012).
9
Interaction graphs: multiplicatives. (English)
Ann. Pure Appl. Logic 163, No. 12, 1808-1837 (2012).
10
Patterns for a log-based strengthening of declarative compliance models. (English)
Derrick, John (ed.) et al., Integrated formal methods. 9th international conference, IFM 2012, Pisa, Italy, June 18‒21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30728-7/pbk). Lecture Notes in Computer Science 7321, 327-342 (2012).
11
Deep inference and probabilistic coherence spaces. (English)
Appl. Categ. Struct. 20, No. 3, 209-228 (2012).
12
A hybrid PID-fuzzy control for linear SISO systems with variant communication delays. (English)
Adv. Fuzzy Syst. 2012, Article ID 217068, 8 p. (2012).
13
Reasoning about time-dependent multi-agents: foundations of theorem proving and model checking. (English)
Nguyen, Ngoc Thanh (ed.), Transactions on Computational Collective Intelligence VI. Berlin: Springer (ISBN 978-3-642-29355-9/pbk). Lecture Notes in Computer Science 7190. Journal Subline, 181-201 (2012).
14
The relational model is injective for multiplicative exponential linear logic (without weakenings). (English)
Ann. Pure Appl. Logic 163, No. 9, 1210-1236 (2012).
15
Untyping typed algebras and colouring cyclic linear logic. (English)
Log. Methods Comput. Sci. 8, No. 2, Paper No. 13, 21 p., electronic only (2012).
16
On bounded functional interpretations. (English)
Ann. Pure Appl. Logic 163, No. 8, 1030-1049 (2012).
17
The Scott model of linear logic is the extensional collapse of its relational model. (English)
Theor. Comput. Sci. 424, 20-45 (2012).
18
Schützenberger and Eilenberg theorems for words on linear orderings. (English)
J. Comput. Syst. Sci. 78, No. 2, 517-536 (2012).
19
Finding and fixing faults. (English)
J. Comput. Syst. Sci. 78, No. 2, 441-460 (2012).
20
Result 1 to 20 of 1141 total
Start
Contact
Print
General Help
