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
(2708)
Editorial
(412)
by Journal
by Funding Agency
Clear filters
Powered by
170 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
Knowledge-Related Policy Analysis in an Inference-Enabled Actor Model
Shahrzad Riahi
,
Ramtin Khosravi
,
Fatemeh Ghassemi
10.3897/jucs.103011
28-04-2024
Unique: 809 | Total: 1118
| Access Period:
462-501
HTML
PDF
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: 1285 | Total: 1787
| 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: 1872 | Total: 3102
| 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: 1489 | Total: 2753
| 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: 2322 | Total: 4560
| 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: 1073 | Total: 1716
| 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: 1082 | Total: 2035
| 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: 809 | Total: 1094
| 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: 866 | Total: 1232
| 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: 836 | Total: 1121
| 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: 782 | Total: 1052
| 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: 767 | Total: 1045
| Access Period:
529-538
HTML
XML
PDF
1
2
3
4
5
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK