Filter

Search
by Subject
  • Topic A - General Literature
  • Topic B - Hardware
  • Topic C - Computer Systems Organization
  • Topic D - Software
  • Topic E - Data
  • Topic F - Theory of Computation
  • Topic G - Mathematics of Computing
  • Topic H - Information Systems
  • Topic I - Computing Methodologies
  • Topic J - Computer Applications
  • Topic K - Computing Milieux
  • Topic L - Science and Technology of Learning
  • Topic M - Knowledge Management
by Publication Date (dd/mm/yyyy)
from
to
by Publication Type
by Funding Agency
Clear filters
Powered by

68 items matching your criteria

Sort by:
Filter By:
Subject: F.4.1 - Mathematical Logic
Clear All
Copy link
RSS Feed   RSS Feed filters articles only by Classification type, Date (from/to), Publication type
1 2 3 4 5
Right Arrow
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Research Article
On BCK Algebras - Part I.a: An Attempt to Treat Unitarily the Algebras of Logic. New Algebras
Afrodita Iorgulescu
10.3217/jucs-013-11-1628
 28-11-2007
 Unique: 332 | Total: 383  | Access Period:
 1628-1654
HTML
XML
PDF
Research Article
On the Forcing Semantics for Monoidal t-norm Based Logic
Denisa Diaconescu, George Georgescu
10.3217/jucs-013-11-1550
 28-11-2007
 Unique: 310 | Total: 363  | Access Period:
 1550-1572
HTML
XML
PDF
Research Article
Spectral Densest Subgraph and Independence Number of a Graph
Reid Andersen, Sebastian Cioabă
10.3217/jucs-013-11-1501
 28-11-2007
 Unique: 325 | Total: 381  | Access Period:
 1501-1513
HTML
XML
PDF
Research Article
Pedagogical Natural Deduction Systems: the Propositional Case
Loïc Colson, David Michel
10.3217/jucs-013-10-1396
 28-10-2007
 Unique: 290 | Total: 332  | Access Period:
 1396-1410
HTML
XML
PDF
Research Article
Random k-GD-Sat Model and its Phase Transition
Milena Vujošević-Janičić, Jelena Tomašević, Predrag Janičić
10.3217/jucs-013-04-0572
 28-04-2007
 Unique: 377 | Total: 433  | Access Period:
 572-591
HTML
XML
PDF
Research Article
Proving Properties for Behavioural Specifications with Term Observation
Narjes Berregeb
10.3217/jucs-012-10-1413
 28-10-2006
 Unique: 362 | Total: 415  | Access Period:
 1413-1425
HTML
XML
PDF
Research Article
Computer Science, Logic, Informatics Education
Katalin Varga, Magda Várterész
10.3217/jucs-012-09-1405
 28-09-2006
 Unique: 328 | Total: 374  | Access Period:
 1405-1410
HTML
XML
PDF
Research Article
Synthesis of Optimal Workflow Structure
József Tick, Zoltán Kovacs, Ferenc Friedler
10.3217/jucs-012-09-1385
 28-09-2006
 Unique: 296 | Total: 345  | Access Period:
 1385-1392
HTML
XML
PDF
Research Article
Behavioral Institutions and Refinements in Generalized Hidden Logics
Manuel Martins
10.3217/jucs-012-08-1020
 28-08-2006
 Unique: 344 | Total: 387  | Access Period:
 1020-1049
HTML
XML
PDF
Research Article
On-line Monitoring of Metric Temporal Logic with Time-Series Constraints Using Alternating Finite Automata
Doron Drusinsky
10.3217/jucs-012-05-0482
 28-05-2006
 Unique: 347 | Total: 393  | Access Period:
 482-498
HTML
XML
PDF
Research Article
A Constructive Approach to Sylvester's Conjecture
Jan Plato
10.3217/jucs-011-12-2165
 28-12-2005
 Unique: 283 | Total: 325  | Access Period:
 2165-2178
HTML
XML
PDF
Research Article
On Complements of Sets and the Efremovič Condition in Pre-apartness Spaces
Luminita Vîţă
10.3217/jucs-011-12-2159
 28-12-2005
 Unique: 317 | Total: 364  | Access Period:
 2159-2164
HTML
XML
PDF
1 2 3 4 5
Right Arrow

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK