thumbnail

The Journal of Logic and Algebraic Programming

SCOPUS (2001-2014)

  1567-8326

 

 

 

Cơ quản chủ quản:  N/A

Phân tích ảnh hưởng

Các bài báo tiêu biểu

Operational semantics of Framed Tempura
Tập 78 - Trang 22-51 - 2008
Xiaoxiao Yang, Zhenhua Duan
32
Arbitrary precision real arithmetic: design and algorithms
Tập 64 - Trang 13-39 - 2005
Valérie Ménissier-Morain
0
Timed Mobility in process algebra and Petri nets
Tập 80 - Trang 377-391 - 2011
Gabriel Ciobanu, Maciej Koutny
0
Declarative debugging of rewriting logic specifications
Tập 81 - Trang 851-897 - 2012
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero
Real time process algebra with time-dependent conditions
Tập 48 - Trang 1-38 - 2001
J.C.M. Baeten, C.A. Middelburg
Interpretability of first-order linear temporal logics in fork algebras
Tập 66 - Trang 161-184 - 2006
Marcelo F. Frias, Carlos G. López Pombo
Normal design algebra
Tập 79 - Trang 144-173 - 2010
Walter Guttmann, Bernhard Möller
Axiomatizability of representable domain algebras
Tập 80 - Trang 75-91 - 2011
Robin Hirsch, Szabolcs Mikulás
Search algorithms for automated validation
Tập 78 - Trang 274-287 - 2009
Tom A.N. Engels, Jan Friso Groote, Muck J. van Weerdenburg, Tim A.C. Willemse
Verifying an infinite systolic algorithm using third-order equational methods
Tập 69 - Trang 75-92 - 2006
L.J. Steggles