Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Applied Logic, Volume 15
Volume 15, May 2016
- José Luis Castiglioni, Hernán Javier San Martín
:
The left adjoint of Spec from a category of lattice-ordered groups. 1-15 - Tahel Ronel, Alena Vencovská:
The principle of signature exchangeability. 16-45 - Babatunde Opeoluwa Akinkunmi:
The problem of coincidence in a theory of temporal multiple recurrence. 46-68 - Amnon Rosenmann:
A multiple-valued logic approach to the design and verification of hardware circuits. 69-93 - Lorenzo Magnani:
The eco-cognitive model of abduction II: Irrelevance and implausibility exculpated. 94-129 - Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid:
Translation of first order formulas into ground formulas via a completion theory. 130-149 - Norihiro Kamide:
Bunched sequential information. 150-170
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-07-28 02:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
