Electronic Notes in Theoretical Computer Science

Công bố khoa học tiêu biểu

* Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp:  
Intensional Semantics of System T of Gödel
Electronic Notes in Theoretical Computer Science - Tập 35 - Trang 230-243 - 2000
Pierre Valarcher
Semantics of Visual Models in a Rule-based Setting
Electronic Notes in Theoretical Computer Science - Tập 148 - Trang 75-88 - 2006
Hans-Jörg Kreowski, Karsten Hölscher, Peter Knirsch
The emptiness of intersection problem for languages of k-valued categorial grammars (classical and Lambek) is undecidable
Electronic Notes in Theoretical Computer Science - Tập 53 - Trang 81-93 - 2004
Annie Foret
A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains
Electronic Notes in Theoretical Computer Science - Tập 269 - Trang 55-69 - 2011
Rafael del Vado Vírseda
Admissible Representations of Probability Measures
Electronic Notes in Theoretical Computer Science - Tập 167 - Trang 61-78 - 2007
Matthias Schröder
Topological Construction of Parameterized Bisimulation Limit
Electronic Notes in Theoretical Computer Science - Tập 257 - Trang 55-70 - 2009
Yanfang Ma, Min Zhang
Fresco: Flexible and Reliable Evolution System for Components
Electronic Notes in Theoretical Computer Science - Tập 127 - Trang 197-205 - 2005
Yves Vandewoude, Yolande Berbers
Projections for Infinitary Rewriting
Electronic Notes in Theoretical Computer Science - Tập 332 - Trang 131-148 - 2017
Carlos Lombardi
Preface
Electronic Notes in Theoretical Computer Science - Tập 45 - Trang 463-464 - 2001
Stephen Brookes, Michael Mislove
Bisimulation in Untyped Lambda Calculus:
Electronic Notes in Theoretical Computer Science - Tập 20 - Trang 346-374 - 1999
S.B. Lassen
Tổng số: 2,724   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10