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
422 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: Topic F - Theory of Computation
Clear All
Copy link
RSS Feed
RSS Feed filters articles only by Classification type, Date (from/to), Publication type
11
12
13
14
15
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
Analysis of two Sweep-line Algorithms for Constructing Spanning Trees and Steiner Trees
Adrian Dumitrescu
,
Csaba Tóth
10.3217/jucs-013-11-1615
28-11-2007
Unique: 362 | Total: 442
| Access Period:
1615-1627
HTML
XML
PDF
Research Article
Accepting Networks of Evolutionary Processors with Filtered Connections
Cezara Drăgoi
,
Florin Manea
,
Victor Mitrana
10.3217/jucs-013-11-1598
28-11-2007
Unique: 349 | Total: 392
| Access Period:
1598-1614
HTML
XML
PDF
Research Article
On the Forcing Semantics for Monoidal t-norm Based Logic
Denisa Diaconescu
,
George Georgescu
10.3217/jucs-013-11-1550
28-11-2007
Unique: 327 | Total: 385
| Access Period:
1550-1572
HTML
XML
PDF
Research Article
Equivalent Transformations of Automata by Using Behavioural Automata
Gabriel Ciobanu
,
Sergiu Rudeanu
10.3217/jucs-013-11-1540
28-11-2007
Unique: 343 | Total: 385
| Access Period:
1540-1549
HTML
XML
PDF
Research Article
Spectral Densest Subgraph and Independence Number of a Graph
Reid Andersen
,
Sebastian Cioabă
10.3217/jucs-013-11-1501
28-11-2007
Unique: 343 | Total: 404
| Access Period:
1501-1513
HTML
XML
PDF
Research Article
A Model of Immune Gene Expression Programming for Rule Mining
Tao Zeng
,
Changjie Tang
,
Yong Xiang
,
Peng Chen
,
Yintian Liu
10.3217/jucs-013-10-1484
28-10-2007
Unique: 342 | Total: 413
| Access Period:
1484-1497
HTML
XML
PDF
Research Article
Pedagogical Natural Deduction Systems: the Propositional Case
Loïc Colson
,
David Michel
10.3217/jucs-013-10-1396
28-10-2007
Unique: 303 | Total: 349
| Access Period:
1396-1410
HTML
XML
PDF
Research Article
Specification and Refinement of Access Control
Dominique Méry
,
Stephan Merz
10.3217/jucs-013-08-1073
28-08-2007
Unique: 337 | Total: 383
| Access Period:
1073-1093
HTML
XML
PDF
Research Article
Using Visitor Patterns in Object-Oriented Action Semantics
André Maidl
,
Claudio Carvilhe
,
Martin Musicante
10.3217/jucs-013-06-0891
28-06-2007
Unique: 334 | Total: 379
| Access Period:
891-919
HTML
XML
PDF
Research Article
Programming through Spreadsheets and Tabular Abstractions
Carlos Henrique Q. Forster
10.3217/jucs-013-06-0806
28-06-2007
Unique: 340 | Total: 413
| Access Period:
806-816
HTML
XML
PDF
Research Article
A Methodology for Removing LALR(k) Conflicts
Leonardo Passos
,
Mariza Andrade Silva Bigonha
,
Roberto Bigonha
10.3217/jucs-013-06-0737
28-06-2007
Unique: 369 | Total: 437
| Access Period:
737-752
HTML
XML
PDF
Research Article
Realising the Benefits of Formal Methods
Anthony Hall
10.3217/jucs-013-05-0669
28-05-2007
Unique: 307 | Total: 342
| Access Period:
669-678
HTML
XML
PDF
11
12
13
14
15
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK