![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 54 matches
- 2015
- Majid Alizadeh
, Nima Joharizadeh:
Counting weak Heyting algebras on finite distributive lattices. Log. J. IGPL 23(2): 247-258 (2015) - Darío Álvarez, Ramón Fernández
, Lidia Sánchez
:
Stroke-based intelligent character recognition using a deterministic finite automaton. Log. J. IGPL 23(3): 463-471 (2015) - Anca Andreica
, Camelia Chira
:
Evolution and dynamics of node-weighted networks for cellular automata computation. Log. J. IGPL 23(3): 400-409 (2015) - Mohammad Ardeshir, S. Mojtaba Mojtahedi
:
Reduction of provability logics to Σ1-provability logics. Log. J. IGPL 23(5): 842-847 (2015) - Carlos Areces
, Raul Fervari
, Guillaume Hoffmann:
Relation-changing modal operators. Log. J. IGPL 23(4): 601-627 (2015) - Can Baskent
:
Some non-classical approaches to the Brandenburger-Keisler paradox. Log. J. IGPL 23(4): 533-552 (2015) - Grigoriy V. Bokov
:
Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication. Log. J. IGPL 23(2): 341-353 (2015) - Florian Bruse, Oliver Friedmann, Martin Lange:
On guarded transformation in the modal μ-calculus. Log. J. IGPL 23(2): 194-216 (2015) - Leonardo Manuel Cabrer, Hilary A. Priestley:
A general framework for product representations: bilattices and beyond. Log. J. IGPL 23(5): 816-841 (2015) - Miguel Campercholi, Michal M. Stronkowski
, Diego Vaggione:
On structural completeness versus almost structural completeness problem: A discriminator varieties case study. Log. J. IGPL 23(2): 235-246 (2015) - José L. Castiglioni, Hernán Javier San Martín
:
On frontal operators in Hilbert algebras. Log. J. IGPL 23(2): 217-234 (2015) - Michal Choras, Rafal Kozik
:
Machine learning techniques applied to detect cyber attacks on web applications. Log. J. IGPL 23(1): 45-56 (2015) - Lito Perez Cruz, John Newsome Crossley:
Logics Modulo Theories: a logical framework for multi-agent systems. Log. J. IGPL 23(4): 553-583 (2015) - Oscar Delgado-Mohatar, Amparo Fúster-Sabater:
Software implementation of cryptographic sequence generators over extended fields. Log. J. IGPL 23(1): 73-87 (2015) - Raúl Durán Díaz, Luis Hernández Encinas
, Jaime Muñoz Masqué:
Cryptanalysis of two combinatorial public key cryptosystems. Log. J. IGPL 23(1): 4-16 (2015) - David Fernández-Duque, Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano
, Fernando R. Velázquez-Quesada
:
Forgetting complex propositions. Log. J. IGPL 23(6): 942-965 (2015) - Wojciech Dzik, Piotr Wojtylak:
Almost structurally complete infinitary consequence operations extending S4.3. Log. J. IGPL 23(4): 640-661 (2015) - Rob Egrot
, Robin Hirsch
:
Meet-completions and ordered domain algebras. Log. J. IGPL 23(4): 584-600 (2015) - Julio Fernández-Ceniceros
, Fernando Antoñanzas-Torres, Francisco J. Martínez de Pisón Ascacibar, Andrés Sanz-García
:
Hybrid Modelling of Multilayer Perceptron Ensembles for Predicting the Response of Bolted Lap Joints. Log. J. IGPL 23(3): 451-462 (2015) - Dov M. Gabbay, Michael Gabbay:
The attack as strong negation, part I. Log. J. IGPL 23(6): 881-941 (2015) - Ramón Ferreiro García, José Luís Calvo-Rolle
, Francisco Javier Perez Castelo
:
Diagnosing a solar volumetric receiver combining NN-based modelling with online parameter identification and rule-based techniques. Log. J. IGPL 23(3): 379-399 (2015) - Joanna Golinska-Pilarek
, Emilio Muñoz-Velasco:
A hybrid qualitative approach for relative movements. Log. J. IGPL 23(3): 410-420 (2015) - Aboul Ella Hassanien, Mostafa A. Salama, Jan Platos
, Václav Snásel:
Rough local transfer function for cardiac disorders detection using heart sounds. Log. J. IGPL 23(3): 506-520 (2015) - Álvaro Herrero
, Václav Snásel, Ajith Abraham, Ivan Zelinka
, Héctor Quintián
, Emilio Corchado:
Editorial: Special issue CISIS12-IGPL. Log. J. IGPL 23(1): 1-3 (2015) - Rafael Izbicki
, Luís Gustavo Esteves:
Logical consistency in simultaneous statistical test procedures. Log. J. IGPL 23(5): 732-758 (2015) - Ruaan Kellerman
:
First-order aspects of tree paths. Log. J. IGPL 23(4): 688-704 (2015) - Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz:
21st Workshop on Logic, Language, Information and Computation (WoLLIC 2014). Log. J. IGPL 23(5): 848-859 (2015) - Ioannis Kokkinis
, Petar Maksimovic
, Zoran Ognjanovic, Thomas Studer
:
First steps towards probabilistic justification logic. Log. J. IGPL 23(4): 662-687 (2015) - Oliver Kramer, Thole Klingenberg, Michael Sonnenschein, Olaf Wilken:
Non-intrusive appliance load monitoring with bagging classifiers. Log. J. IGPL 23(3): 359-368 (2015) - Pawel Ksieniewicz
, Dariusz Jankowski, Borja Ayerdi, Konrad Jackowski, Manuel Graña, Michal Wozniak
:
A novel hyperspectral segmentation algorithm - concept and evaluation. Log. J. IGPL 23(1): 105-120 (2015)
skipping 24 more matches
loading more results
failed to load more results, please try again later
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-08-19 07:37 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint