Logic, Language, Information and Computation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

26

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540734437, 9783540734451

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Numerical Constraints for XML

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73445-1_15 ◽

2007 ◽

pp. 203-217 ◽

Author(s):

Sven Hartmann ◽

Sebastian Link

Download Full-text

Autonomous Programmable Biomolecular Devices Using Self-assembled DNA Nanostructures

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73445-1_21 ◽

2007 ◽

pp. 297-306

Author(s):

John H. Reif ◽

Thomas H. LaBean

Keyword(s):

Dna Nanostructures ◽

Download Full-text

Interval Valued QL-Implications

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73445-1_22 ◽

2007 ◽

pp. 307-321 ◽

Author(s):

R. H. S. Reiser ◽

G. P. Dimuro ◽

B. C. Bedregal ◽

R. H. N. Santiago

Keyword(s):

Interval Valued

Download Full-text

Behavioural Differential Equations and Coinduction for Binary Trees

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73445-1_23 ◽

2007 ◽

pp. 322-336 ◽

Author(s):

Alexandra Silva ◽

Jan Rutten

Keyword(s):

Differential Equations ◽

Download Full-text

A Formal Calculus for Informal Equality with Binding

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73445-1_12 ◽

2007 ◽

pp. 162-176 ◽

Author(s):

Murdoch J. Gabbay ◽

Aad Mathijssen

Keyword(s):

Formal Calculus

Download Full-text

Modules over Monads and Linearity

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73445-1_16 ◽

2007 ◽

pp. 218-237 ◽

Author(s):

André Hirschowitz ◽

Marco Maggesi

Download Full-text

A Modal Distributive Law (abstract)

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73445-1_25 ◽

2007 ◽

pp. 351-351 ◽

Author(s):

Yde Venema

Keyword(s):

Distributive Law

Download Full-text

Hybrid Logical Analyses of the Ambient Calculus

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73445-1_7 ◽

2007 ◽

pp. 83-100

Author(s):

Thomas Bolander ◽

René Rydhof Hansen

Keyword(s):

Ambient Calculus

Download Full-text

Spin Networks, Quantum Topology and Quantum Computation

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73445-1_18 ◽

2007 ◽

pp. 248-263

Author(s):

Louis H. Kauffman ◽

Samuel J. Lomonaco

Keyword(s):

Quantum Computation ◽

Spin Networks ◽

Quantum Topology

Download Full-text

A Sketch of a Dynamic Epistemic Semiring

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73445-1_24 ◽

2007 ◽

pp. 337-350

Author(s):

Kim Solin

Download Full-text