Register
|
Login
Full Text
Author
Title
Submit manuscript
About
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
(2629)
Editorial
(398)
by Journal
by Funding Agency
Clear filters
Powered by
169 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 - MATHEMATICAL LOGIC AND FORMAL LANGUAGES
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
Solving Restricted Preemptive Scheduling on Parallel Machines with SAT and PMS
Xiaojuan Liao
,
Hui Zhang
,
Miyuki Koshimura
,
Rong Huang
,
Fagen Li
10.3897/jucs.97743
28-08-2023
Unique: 672 | Total: 884
| Access Period:
911-937
HTML
XML
PDF
Research Article
MODELFY: A Model-driven Solution for Decision Making based on Fuzzy Information
María Castañeda
,
Mercedes G. Merayo
,
Juan Boubeta-Puig
,
Iván Calvo
10.3897/jucs.76030
28-05-2022
Unique: 1277 | Total: 2132
| Access Period:
445-474
HTML
XML
PDF
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: 1077 | Total: 2067
| Access Period:
1193-1202
HTML
XML
PDF
Research Article
Regular Expressions with Lookahead
Martin Berglund
,
Brink van der Merwe
,
Steyn van Litsenborgh
10.3897/jucs.66330
28-04-2021
Unique: 1649 | Total: 3427
| Access Period:
324-340
HTML
XML
PDF
Research Article
Graphic Deduction Based on Set
Xia He
,
Guoping Du
,
Long Hong
10.3897/jucs.2020.069
28-10-2020
Unique: 681 | Total: 1133
| Access Period:
1331-1342
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: 682 | Total: 1322
| Access Period:
343-373
HTML
XML
PDF
Research Article
Computational Models of Language Evolution: Challenges and Future Perspectives
Fernando Ferri
,
Arianna D’Ulizia
,
Patrizia Grifoni
10.3217/jucs-024-10-1345
28-10-2018
Unique: 519 | Total: 669
| Access Period:
1345-1377
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: 558 | Total: 794
| Access Period:
682-710
HTML
XML
PDF
Research Article
An Evaluation of Structured Language Modeling for Automatic Speech Recognition
Johanna Björklund
,
Loek Cleophas
,
My Karlsson
10.3217/jucs-023-11-1019
28-11-2017
Unique: 505 | Total: 696
| Access Period:
1019-1034
HTML
XML
PDF
Research Article
Reversibility in Parallel Rewriting Systems
Bogdan Aman
,
Gabriel Ciobanu
Part of: Theory and Application of Bio-inspired Intelligence and Methods
10.3217/jucs-023-07-0692
28-07-2017
Unique: 501 | Total: 661
| Access Period:
692-703
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: 501 | Total: 670
| Access Period:
529-538
HTML
XML
PDF
Research Article
Higher Inductive Types in Programming
Henning Basold
,
Herman Geuvers
,
Niels Van Der Weide
Part of: Functional Programming: Past, Present, and Future. Contributions dedicated to D.A. Turner on his 70th Birthday
10.3217/jucs-023-01-0063
28-01-2017
Unique: 504 | Total: 691
| Access Period:
63-88
HTML
XML
PDF
1
2
3
4
5
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK