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 more general general proof theory
Tập 25 - Trang 23-46 - 2017
Heinrich Wansing
Translating regular expression matching into transducers
Tập 10 - Trang 32-51 - 2012
Yuto Sakuma, Yasuhiko Minamide, Andrei Voronkov
On the consistency problem for the INDU calculus
Tập 4 - Trang 119-140 - 2006
Philippe Balbiani, Jean-François Condotta, Gérard Ligozat
Complete axiomatizations for XPath fragments
Tập 8 - Trang 153-172 - 2010
Balder ten Cate, Tadeusz Litak, Maarten Marx
On the combination of support vector machines and segmentation algorithms for anomaly detection: A petroleum industry comparative study
Tập 24 - Trang 71-84 - 2017
Luis Martí, Nayat Sanchez-Pi, José Manuel Molina López, Ana Cristina Bicharra Garcia
Sufficient completeness verification for conditional and constrained TRS
Tập 10 - Trang 127-143 - 2012
Adel Bouhoula, Florent Jacquemard
Relational semantics for full linear logic
Tập 12 - Trang 50-66 - 2014
Dion Coumans, Mai Gehrke, Lorijn van Rooijen
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