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
(2635)
Editorial
(399)
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
6
7
8
9
10
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
Moby/RT: A Tool for Specification and Verification of Real-Time Systems
Ernst-Rüdiger Olderog
,
Henning Dierks
10.3217/jucs-009-02-0088
28-02-2003
Unique: 372 | Total: 416
| Access Period:
88-105
HTML
XML
PDF
Research Article
On the Simplification of HD0L Power Series
Juha Honkala
10.3217/jucs-008-12-1040
28-12-2002
Unique: 334 | Total: 493
| Access Period:
1040-1046
HTML
XML
PDF
Research Article
Heyting Algebras and Formal Languages
Werner Kuich
,
Norbert Sauer
,
Friedrich Urbanek
10.3217/jucs-008-07-0722
28-07-2002
Unique: 348 | Total: 413
| Access Period:
722-736
HTML
XML
PDF
Research Article
Modelling Agents as Observable Sources
Mirko Viroli
,
Andrea Omicini
10.3217/jucs-008-04-0423
28-04-2002
Unique: 358 | Total: 432
| Access Period:
423-452
HTML
XML
PDF
Research Article
Membrane Computing: The Power of (Rule) Creation
Fernando Arroyo
,
Angel Baranda
,
Juan Castellanos
,
Gheorghe Paun
10.3217/jucs-008-03-0369
28-03-2002
Unique: 389 | Total: 469
| Access Period:
369-381
HTML
XML
PDF
Research Article
How Large is the Set of Disjunctive Sequences?
Ludwig Staiger
10.3217/jucs-008-02-0348
28-02-2002
Unique: 346 | Total: 412
| Access Period:
348-362
HTML
XML
PDF
Research Article
Some Remarks on Codes Defined by Petri Nets
Masami Ito
,
Jürgen Dassow
,
Ralf Stiebe
10.3217/jucs-008-02-0260
28-02-2002
Unique: 317 | Total: 376
| Access Period:
260-269
HTML
XML
PDF
Research Article
Word Operation Closure and Primitivity of Languages
H. Hsiao
,
C. Huang
,
S. Yu
10.3217/jucs-008-02-0243
28-02-2002
Unique: 303 | Total: 368
| Access Period:
243-256
HTML
XML
PDF
Research Article
Descriptional Complexity of Machines with Limited Resources
Jonathan Goldstine
,
Martin Kappes
,
Chandra Kintala
,
Hing Leung
,
Andreas Malcher
,
Detlef Wotschke
10.3217/jucs-008-02-0193
28-02-2002
Unique: 384 | Total: 469
| Access Period:
193-234
HTML
XML
PDF
Research Article
Rationally Additive Semirings
Zoltán Ésik
,
Werner Kuich
10.3217/jucs-008-02-0173
28-02-2002
Unique: 328 | Total: 396
| Access Period:
173-183
HTML
XML
PDF
Research Article
Additive Distances and Quasi_Distances Between Words
Cristian S. Calude
,
Kai Salomaa
,
Sheng Yu
10.3217/jucs-008-02-0141
28-02-2002
Unique: 330 | Total: 401
| Access Period:
141-152
HTML
XML
PDF
Research Article
On the Computational Complexity of Synchronized Context-Free Languages
Henning Bordihn
,
Markus Holzer
10.3217/jucs-008-02-0119
28-02-2002
Unique: 318 | Total: 371
| Access Period:
119-140
HTML
XML
PDF
6
7
8
9
10
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK