Journal of Applied Logic

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:  
The axiomatization of override and update
Journal of Applied Logic - Tập 8 - Trang 141-150 - 2010
Jasper Berendsen, David N. Jansen, Julien Schmaltz, Frits W. Vaandrager
Hoop twist-structures
Journal of Applied Logic - Tập 18 - Trang 1-18 - 2016
Shokoofeh Ghorbani
Reconsideration of circumscriptive induction with pointwise circumscription
Journal of Applied Logic - Tập 7 - Trang 307-317 - 2009
Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima
Gödel spaces and perfect MV-algebras
Journal of Applied Logic - Tập 13 - Trang 270-284 - 2015
Antonio Di Nola, Revaz Grigolia
The complexity of satisfiability for fragments of hybrid logic—Part I
Journal of Applied Logic - Tập 8 - Trang 409-421 - 2010
Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss
A multiple-valued logic approach to the design and verification of hardware circuits
Journal of Applied Logic - Tập 15 - Trang 69-93 - 2016
Amnon Rosenmann
Using inductive reasoning for completing OCF-networks
Journal of Applied Logic - Tập 13 - Trang 605-627 - 2015
Christian Eichhorn, Gabriele Kern-Isberner
TPS: A hybrid automatic-interactive system for developing proofs
Journal of Applied Logic - Tập 4 - Trang 367-395 - 2006
Peter B. Andrews, Chad E. Brown
Simulating Turing machines on Maurer machines
Journal of Applied Logic - Tập 6 - Trang 1-23 - 2008
J.A. Bergstra, C.A. Middelburg
Rich deontic logic: a preliminary study
Journal of Applied Logic - Tập 2 - Trang 19-37 - 2004
Mark A. Brown
Tổng số: 210   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10