thumbnail

Journal of Applied Logic

SCOPUS (2003-2017)

  1570-8683

 

 

 

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

A theory of permission based on the notion of derogation
Tập 8 - Trang 97-113 - 2010
Audun Stolpe
The three bases for the enthymeme: A dialogical theory
Tập 6 Số 3 - Trang 361-379 - 2008
Fabrizio Macagno
A general first-order solution to the ramification problem with cycles
Tập 11 - Trang 289-308 - 2013
Hannes Strass, Michael Thielscher
A survey on the inventory-routing problem with stochastic lead times and demands
Tập 24 - Trang 15-24 - 2017
Raúl F. Roldán, Rosa Basagoiti, Leandro C. Coelho
A propositional linear time logic with time flow isomorphic toω2
Tập 12 - Trang 208-229 - 2014
Bojan Marinković, Zoran Ognjanović, Dragan Doder, Aleksandar Perović
Characterization of unidimensional averaged similarities
Tập 23 - Trang 16-26 - 2017
D. Boixader, J. Recasens
Complete axiomatizations for XPath fragments
Tập 8 - Trang 153-172 - 2010
Balder ten Cate, Tadeusz Litak, Maarten Marx
Formalization of Reliability Block Diagrams in Higher-order Logic
Tập 18 - Trang 19-41 - 2016
Waqar Ahmed, Osman Hasan, Sofiène Tahar
A note on two of Hrushovskiʼs constructions
Tập 10 - Trang 85-91 - 2012
Elisabetta Pastori
The computational complexity of scenario-based agent verification and design
Tập 5 - Trang 252-276 - 2007
Yves Bontemps, Pierre-Yves Schobbens
Chỉ mục cơ sở dữ liệu
Scopus - Elsevier

Index Years: 2003-2017

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 quân sự
Tạp chí Khoa học - Công nghệ trong lĩnh vực An toàn thông tin
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
VNU JOURNAL OF ECONOMICS AND BUSINESS
Tạp chí Khoa học Sức khoẻ Đại học Quốc gia Thành phố Hồ Chí Minh
Tạp chí Khoa học Đào tạo & Huấn luyện thể thao
Tạp chí khoa học tài nguyên và môi trường
Dalat University Journal of Science