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
Timed Mobility in process algebra and Petri nets
Tập 80 - Trang 377-391 - 2011
Gabriel Ciobanu, Maciej Koutny
Arbitrary precision real arithmetic: design and algorithms
Tập 64 - Trang 13-39 - 2005
Valérie Ménissier-Morain
Declarative debugging of rewriting logic specifications
Tập 81 - Trang 851-897 - 2012
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
Tập 81 - Trang 2-25 - 2012
Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders, Shengchao Qin
A symbolic decision procedure for cryptographic protocols with time stamps
Tập 65 - Trang 1-35 - 2005
Liana Bozga, Cristian Ene, Yassine Lakhnech
A metamodel for the design of polychronous systems
Tập 78 - Trang 233-259 - 2009
Christian Brunette, Jean-Pierre Talpin, Abdoulaye Gamatié, Thierry Gautier
Consistency and refinement for Interval Markov Chains
Tập 81 - Trang 209-226 - 2012
Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wa¸sowski
Program algebra with unit instruction operators
Tập 51 - Trang 157-174 - 2002
Alban Ponse
Deriving a Floyd–Hoare logic for non-local jumps from a formulæ-as-types notion of control
Tập 81 - Trang 181-208 - 2012
T. Crolard, E. Polonowski
Chỉ mục cơ sở dữ liệu
Scopus - Elsevier

Index Years: 2001-2014

Xem chi tiết

Các tạp chí khác
Tạp chí Truyền nhiễm Việt Nam
Tạp chí Y Dược học Cần Thơ
Tạp chí Khoa học và Công nghệ nhiệt đới
VNU Journal of Science: Earth and Environmental Sciences
Tạp chí Nghiên cứu Chính sách và Quản lý
Tạp chí Tai Mũi Họng Việt Nam
Tạp chí Y - Dược học quân sự
Tạp chí Khoa học Xã hội và Nhân văn
Tạp chí Da liễu học Việt Nam
Tạp chí Khoa học Sức khoẻ Đại học Quốc gia Thành phố Hồ Chí Minh