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
Controlled Pure Grammar Systems
Alexander Meduna
,
Petr Zemek
10.3217/jucs-018-14-2024
28-07-2012
Unique: 459 | Total: 589
| Access Period:
2024-2040
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: 480 | Total: 621
| Access Period:
1950-1966
HTML
XML
PDF
Research Article
Array P System with Shuffle on Trajectories
A. S. Venkatesan
,
D. G. Thomas
,
T. Robinson
,
Atulya Nagar
Part of: Recent Advances in Bio-Inspired Computing: Theory and Applications
10.3217/jucs-018-13-1802
01-07-2012
Unique: 450 | Total: 584
| Access Period:
1802-1820
HTML
XML
PDF
Research Article
P Systems with Shuffle Operation and Catalytic-Like Rules
Yunyun Niu
,
Jinbang Xu
,
K. G. Subramanian
,
Rosni Abdullah
Part of: Recent Advances in Bio-Inspired Computing: Theory and Applications
10.3217/jucs-018-13-1782
01-07-2012
Unique: 455 | Total: 614
| Access Period:
1782-1801
HTML
XML
PDF
Research Article
Modeling and Performance Evaluation of a Contract-based Electronic Signature Process
Ahmed Nait-Sidi-Moh
,
Mohamed Bakhouya
,
Wafaa Ait-Cheik-Bihi
,
Jaafar Gaber
10.3217/jucs-018-05-0676
01-03-2012
Unique: 573 | Total: 759
| Access Period:
676-703
HTML
XML
PDF
Research Article
Hierarchical Graph-Grammar Model for Secure and Efficient Handwritten Signatures Classification
Marcin Piekarczyk
,
Marek Ogiela
10.3217/jucs-017-06-0926
28-03-2011
Unique: 330 | Total: 403
| Access Period:
926-943
HTML
XML
PDF
Research Article
XML Database Transformations
Klaus-Dieter Schewe
,
Qing Wang
10.3217/jucs-016-20-3043
01-11-2010
Unique: 395 | Total: 488
| Access Period:
3043-3072
HTML
XML
PDF
Research Article
Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ALCQI Reasoning
Alexandre Rademaker
,
Edward Haeusler
10.3217/jucs-016-20-3016
01-11-2010
Unique: 302 | Total: 365
| Access Period:
3016-3042
HTML
XML
PDF
Research Article
From Computing Sets of Optima, Pareto Sets, and Sets of Nash Equilibria to General Decision-Related Set Computations
Vladik Kreinovich
,
Bartlomiej Kubica
10.3217/jucs-016-18-2657
28-09-2010
Unique: 308 | Total: 383
| Access Period:
2657-2685
HTML
XML
PDF
Research Article
A Constructive Study of Landau's Summability Theorem
Josef Berger
,
Douglas Bridges
10.3217/jucs-016-18-2523
28-09-2010
Unique: 348 | Total: 412
| Access Period:
2523-2534
HTML
XML
PDF
Research Article
An Axiomatization of a First-order Branching Time Temporal Logic
Dragan Doder
,
Zoran Ognjanović
,
Zoran Marković
10.3217/jucs-016-11-1439
01-06-2010
Unique: 349 | Total: 405
| Access Period:
1439-1451
HTML
XML
PDF
Research Article
Ordered Catenation Closures and Decompositions of Languages Related to a Language of Derick Wood
Arto Salomaa
10.3217/jucs-016-05-0821
01-03-2010
Unique: 354 | Total: 406
| Access Period:
821-832
HTML
XML
PDF
1
2
3
4
5
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK