Filter

Search
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
by Funding Agency
Clear filters
Powered by

170 items matching your criteria

Sort by:
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
Right Arrow
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
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: 360 | Total: 414  | Access Period:
 821-832
HTML
XML
PDF
Research Article
A Note on the P-completeness of Deterministic One-way Stack Language
Klaus-Jörn Lange
10.3217/jucs-016-05-0795
 01-03-2010
 Unique: 317 | Total: 361  | Access Period:
 795-799
HTML
XML
PDF
Research Article
On the Linear Number of Matching Substrings
Yo-Sub Han
10.3217/jucs-016-05-0715
 01-03-2010
 Unique: 344 | Total: 401  | Access Period:
 715-728
HTML
XML
PDF
Research Article
Orthogonal Concatenation: Language Equations and State Complexity
Mark Daley, Michael Domaratzki, Kai Salomaa
10.3217/jucs-016-05-0653
 01-03-2010
 Unique: 372 | Total: 435  | Access Period:
 653-675
HTML
XML
PDF
Research Article
Multi-criteria Group Decision Support with Linguistic Variables in Long-term Scenarios for Belgian Energy Policy
Da Ruan, Jie Lu, Erik Laes, Guangquan Zhang, Jun Ma, Gaston Meskens
10.3217/jucs-016-01-0103
 01-01-2010
 Unique: 350 | Total: 462  | Access Period:
 103-120
HTML
XML
PDF
Research Article
Some Views on Information Fusion and Logic Based Approaches in Decision Making under Uncertainty
Yang Xu, Jun Liu,     Luis Martínez-López, Da Ruan
10.3217/jucs-016-01-0003
 01-01-2010
 Unique: 353 | Total: 404  | Access Period:
 3-21
HTML
XML
PDF
Research Article
Petri Net Controlled Grammars: the Case of Special Petri Nets
Jürgen Dassow, Sherzod Turaev
10.3217/jucs-015-14-2808
 01-08-2009
 Unique: 365 | Total: 433  | Access Period:
 2808-2835
HTML
XML
PDF
Research Article
Checking Semantics Equivalence of MDA Transformations in Concurrent Systems
Paulo Barbosa, Franklin Ramalho, Jorge Figueiredo, Aniko Costa, Luis Gomes
10.3217/jucs-015-11-2196
 01-06-2009
 Unique: 357 | Total: 408  | Access Period:
 2196-2224
HTML
XML
PDF
Research Article
On Finite-time Computability Preserving Conversions
Hideki Tsuiki, Shuji Yamada
10.3217/jucs-015-06-1365
 28-03-2009
 Unique: 347 | Total: 381  | Access Period:
 1365-1380
HTML
XML
PDF
Research Article
A Characterisation of Coincidence Ideals for Complex Values
Attila Sali, Klaus-Dieter Schewe
10.3217/jucs-015-01-0304
 01-01-2009
 Unique: 308 | Total: 358  | Access Period:
 304-354
HTML
XML
PDF
Research Article
Global Database Design based on Storage Space and Update Time Minimization
Henning Köhler
10.3217/jucs-015-01-0195
 01-01-2009
 Unique: 296 | Total: 345  | Access Period:
 195-240
HTML
XML
PDF
Research Article
Weak Functional Dependencies: Full Propositional Expressiveness for the Database Practitioner
Sven Hartmann, Sebastian Link
10.3217/jucs-015-01-0112
 01-01-2009
 Unique: 310 | Total: 366  | Access Period:
 112-156
HTML
XML
PDF
1 2 3 4 5
Right Arrow

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK