Register
|
Login
Full Text
Author
Title
Submit manuscript
About
News
Articles
Issues
Author Guidelines
Special Issues
Call for Papers
Imprint
Editorial Team
Contacts
Filter
Search
Full Text
Author
Title
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
Research Article
(2712)
Editorial
(413)
by Journal
by Funding Agency
Clear filters
Powered by
68 items matching your criteria
Sort by:
Publication date newest
Publication date oldest
Total views
Unique views
Best match
Citations count
Highly accessed (last month)
Highly accessed (last 3 months)
Highly accessed (last 6 months)
Highly accessed (last year)
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
Select:
All
None
Download:
Citation
XML
PDF
Export format
RIS
BIBTEX
Bookends
EasyBib
EndNote (tagged)
EndNote 8 (xml)
Medlars
Mendeley
Papers
RefWorks Tagged
Ref Manager
Zotero
Mods (xml)
Plain text (txt)
Download
Research Article
On Recurrent Neural Network Based Theorem Prover For First Order Minimal Logic
Ashot Baghdasaryan
,
Hovhannes Bolibekyan
Part of: Challenges for Smart Environments - Human-Centered Computing, Data Science, and Ambient Intelligence I
10.3897/jucs.76563
28-11-2021
Unique: 1514 | Total: 2801
| Access Period:
1193-1202
HTML
XML
PDF
Research Article
Solver Requirements for Interactive Configuration
Andreas Falkner
,
Alois Haselböck
,
Gerfried Krames
,
Gottfried Schenner
,
Herwig Schreiner
,
Richard Taupe
Part of: Knowledge-based Configuration
10.3897/jucs.2020.019
28-03-2020
Unique: 1118 | Total: 2090
| Access Period:
343-373
HTML
XML
PDF
Research Article
Cancer Classification by Gene Subset Selection from Microarray Dataset
Asit Das
,
Soumen Pati
,
Hsien-Hung Huang
,
Chi-Ken Chen
Part of: Computational Intelligence Technologies Meet Medical Informatics - From Prediction to Prognosis
10.3217/jucs-024-06-0682
28-06-2018
Unique: 895 | Total: 1277
| Access Period:
682-710
HTML
XML
PDF
Research Article
The Least ∑-jump Inversion Theorem for n-families
Marat Faizrahmanov
,
Iskander Kalimullin
,
Antonio Montalban
,
Vadim Puzarenko
10.3217/jucs-023-06-0529
28-06-2017
Unique: 789 | Total: 1077
| Access Period:
529-538
HTML
XML
PDF
Research Article
The Enumeration Spectrum Hierarchy of α-families and Lowα Degrees
Marat Faizrahmanov
,
Iskander Kalimullin
10.3217/jucs-022-07-0943
01-07-2016
Unique: 778 | Total: 1052
| Access Period:
943-955
HTML
XML
PDF
Research Article
Consistency Checking in Early Software Product Line Specifications - The VCC Approach
Mauricio Alférez
,
Roberto Lopez-Herrejón
,
Ana Moreira
,
Vasco Amaral
,
Alexander Egyed
Part of: Software Components, Architectures and Reuse: Software Product Line Engineering and Source Code Enhancements
10.3217/jucs-020-05-0640
01-05-2014
Unique: 1043 | Total: 1475
| Access Period:
640-665
HTML
XML
PDF
Research Article
Behavioral and Temporal Rule Checking for Gaussian Random Process a Kalman Filter Example
Doron Drusinsky
10.3217/jucs-019-15-2198
01-09-2013
Unique: 764 | Total: 1062
| Access Period:
2198-2206
HTML
XML
PDF
Research Article
An Algebraic Theory of Epistemic Processes
Hamid Mahrooghi
,
Rasool Jalili
10.3217/jucs-019-10-1396
28-05-2013
Unique: 796 | Total: 1123
| Access Period:
1396-1432
HTML
XML
PDF
Research Article
Investigations on a Pedagogical Calculus of Constructions
Loïc Colson
,
Vincent Demange
10.3217/jucs-019-06-0729
28-03-2013
Unique: 878 | Total: 1197
| Access Period:
729-749
HTML
XML
PDF
Research Article
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers
Dario Monica
,
Valentin Goranko
,
Angelo Montanari
,
Guido Sciavicco
10.3217/jucs-018-20-2798
01-12-2012
Unique: 795 | Total: 1080
| Access Period:
2798-2831
HTML
XML
PDF
Research Article
Behavioral and Temporal Pattern Detection within Financial Data with Hidden Information
Doron Drusinsky
10.3217/jucs-018-14-1950
28-07-2012
Unique: 792 | Total: 1044
| Access Period:
1950-1966
HTML
XML
PDF
Research Article
XML Database Transformations
Klaus-Dieter Schewe
,
Qing Wang
10.3217/jucs-016-20-3043
01-11-2010
Unique: 730 | Total: 957
| Access Period:
3043-3072
HTML
XML
PDF
1
2
3
4
5
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK