Остановите войну!
for scientists:
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 47 matches
- 2005
- Arnon Avron, Beata Konikowska:
Multi-valued Calculi for Logics Based on Non-determinism. Log. J. IGPL 13(4): 365-387 (2005) - Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek:
Editorial. Log. J. IGPL 13(4): 363 (2005) - Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek:
Editorial. Log. J. IGPL 13(5): 491 (2005) - Amit Banerjee:
A Dynamic Game-theoretic Approach to the Modified Prisoner's Dilemma. Log. J. IGPL 13(5): 493-502 (2005) - Radim Belohlávek, Tatána Funioková, Vilém Vychodil:
Fuzzy Closure Operators with Truth Stressers. Log. J. IGPL 13(5): 503-513 (2005) - Douglas S. Bridges:
A Weak Constructive Sequential Compactness Property and the Fan Theorem. Log. J. IGPL 13(2): 151-158 (2005) - Carlos Caleiro, Luca Viganò, David A. Basin:
Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis. Log. J. IGPL 13(6): 637-663 (2005) - Walter Alexandre Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano:
An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference. Log. J. IGPL 13(1): 1-3 (2005) - Walter Alexandre Carnielli, Paulo Mateus:
Editorial. Log. J. IGPL 13(6): 611-614 (2005) - Balder ten Cate, Maarten Marx, Jorge Petrucio Viana:
Hybrid logics with Sahlqvist axioms. Log. J. IGPL 13(3): 293-300 (2005) - Vania Costa, Mario R. F. Benevides:
Reasoning about Knowledge in Asynchronous Distributed Systems. Log. J. IGPL 13(1): 5-28 (2005) - Vania Costa, Mario R. F. Benevides:
Formalizing Concurrent Common Knowledge as Product of Modal Logics. Log. J. IGPL 13(6): 665-684 (2005) - Martin Dostál:
On Evolving of Recursive Functions using lambda-abstraction and Higher-order Functions. Log. J. IGPL 13(5): 515-524 (2005) - George Georgescu, Andrei Popescu:
Similarity Convergence in Residuated Structures. Log. J. IGPL 13(4): 389-413 (2005) - Michel Ghins:
Can Common Sense Realism be Extended to Theoretical Physics? Log. J. IGPL 13(1): 95-111 (2005) - Joseph A. Goguen:
Data, Schema, Ontology and Logic Integration. Log. J. IGPL 13(6): 685-715 (2005) - M. I. Golovanov, Anna V. Kosheleva, Vladimir V. Rybakov:
Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules. Log. J. IGPL 13(2): 201-209 (2005) - Siegfried Gottwald:
Mathematical Fuzzy Control. A Survey of Some Recent Results. Log. J. IGPL 13(5): 525-541 (2005) - Reiner Hähnle:
Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages. Log. J. IGPL 13(4): 415-433 (2005) - Petr Hájek:
A non-arithmetical Gödel logic. Log. J. IGPL 13(4): 435-441 (2005) - Robin Hirsch:
The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable. Log. J. IGPL 13(2): 159-171 (2005) - Rosalie Iemhoff, Dick De Jongh, Chunlai Zhou:
Properties of Intuitionistic Provability and Preservativity Logics. Log. J. IGPL 13(6): 615-636 (2005) - Stanislav Krajci:
A Generalized Concept Lattice. Log. J. IGPL 13(5): 543-550 (2005) - Décio Krause:
Structures and Structural Realism. Log. J. IGPL 13(1): 113-126 (2005) - Vera Kurková:
Neural Network Learning as an Inverse Problem. Log. J. IGPL 13(5): 551-559 (2005) - Paolo Liberatore:
Representability in Default Logic. Log. J. IGPL 13(3): 335-351 (2005) - Benedikt Löwe, Darko Sarenac:
Cardinal spaces and topological representations of bimodal logics. Log. J. IGPL 13(3): 301-306 (2005) - Carlos A. Lungarzo:
Many-valued Logics in Classical and Quantum Gates. Log. J. IGPL 13(1): 127-138 (2005) - Paulo Mateus, João Rasga, Cristina Sernadas:
Modal Sequent Calculi Labelled with Truth Values: Cut Elimination. Log. J. IGPL 13(2): 173-199 (2005) - George Metcalfe, Nicola Olivetti, Dov M. Gabbay:
Lukasiewicz Logic: From Proof Systems To Logic Programming. Log. J. IGPL 13(5): 561-585 (2005)
skipping 17 more matches
loading more results
failed to load more results, please try again later
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-06-25 01:48 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