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
(2642)
Editorial
(400)
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
Higher Inductive Types in Programming
Henning Basold
,
Herman Geuvers
,
Niels Van Der Weide
Part of: Functional Programming: Past, Present, and Future. Contributions dedicated to D.A. Turner on his 70th Birthday
10.3217/jucs-023-01-0063
28-01-2017
Unique: 535 | Total: 736
| Access Period:
63-88
HTML
XML
PDF
Research Article
Rewriting-Based Enforcement of Noninterference in Programs with Observable Intermediate Values
Afshin Lamei
,
Mehran Fallah
10.3217/jucs-022-07-0956
01-07-2016
Unique: 486 | Total: 603
| Access Period:
956-991
HTML
XML
PDF
Research Article
The Enumeration Spectrum Hierarchy of α-families and Lowα Degrees
Marat Faizrahmanov
,
Iskander Kalimullin
10.3217/jucs-022-07-0943
01-07-2016
Unique: 491 | Total: 644
| Access Period:
943-955
HTML
XML
PDF
Research Article
A Taxonomy of Minimisation Algorithms for Deterministic Tree Automata
Johanna Björklund
,
Loek Cleophas
10.3217/jucs-022-02-0180
01-02-2016
Unique: 455 | Total: 603
| Access Period:
180-196
HTML
XML
PDF
Research Article
Naive Infinite Enumeration of Context-free Languages in Incremental Polynomial Time
Christophe Florêncio
,
Jonny Daenen
,
Jan Ramon
,
Jan Van den Bussche
,
Dries Dyck
10.3217/jucs-021-07-0891
01-07-2015
Unique: 467 | Total: 594
| Access Period:
891-911
HTML
XML
PDF
Research Article
Formal Study of Routing Protocols for Wireless Sensor Networks
José Mateo
,
María del Carmen Ruiz
,
Hermenegilda Maciá
,
Juan Pardo
10.3217/jucs-020-09-1373
01-09-2014
Unique: 558 | Total: 775
| Access Period:
1373-1401
HTML
XML
PDF
Research Article
Consistency Checking in Early Software Product Line Specifications - The VCC Approach
Mauricio Alférez
,
Roberto Lopez-Herrejón
,
Ana Moreira
,
Vasco Amaral
,
Alexander Egyed
Part of: Software Components, Architectures and Reuse: Software Product Line Engineering and Source Code Enhancements
10.3217/jucs-020-05-0640
01-05-2014
Unique: 684 | Total: 920
| Access Period:
640-665
HTML
XML
PDF
Research Article
Behavioral and Temporal Rule Checking for Gaussian Random Process a Kalman Filter Example
Doron Drusinsky
10.3217/jucs-019-15-2198
01-09-2013
Unique: 500 | Total: 693
| Access Period:
2198-2206
HTML
XML
PDF
Research Article
An Algebraic Theory of Epistemic Processes
Hamid Mahrooghi
,
Rasool Jalili
10.3217/jucs-019-10-1396
28-05-2013
Unique: 507 | Total: 695
| Access Period:
1396-1432
HTML
XML
PDF
Research Article
Investigations on a Pedagogical Calculus of Constructions
Loïc Colson
,
Vincent Demange
10.3217/jucs-019-06-0729
28-03-2013
Unique: 548 | Total: 750
| Access Period:
729-749
HTML
XML
PDF
Research Article
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers
Dario Monica
,
Valentin Goranko
,
Angelo Montanari
,
Guido Sciavicco
10.3217/jucs-018-20-2798
01-12-2012
Unique: 534 | Total: 702
| Access Period:
2798-2831
HTML
XML
PDF
Research Article
Towards Model-Driven Engineering Support for Service Evolution
Juan Vara
,
Vasilios Andrikopoulos
,
Michael Papazoglou
,
Esperanza Marcos
Part of: Conceptual Modelling of Services
10.3217/jucs-018-17-2364
01-09-2012
Unique: 527 | Total: 695
| Access Period:
2364-2382
HTML
XML
PDF
1
2
3
4
5
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK