Amanote Research

Amanote Research

    RegisterSign In

Automata-Driven Automated Induction

Information and Computation - United States
doi 10.1006/inco.2001.3036
Full Text
Open PDF
Abstract

Available in full text

Categories
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
Date

August 1, 2001

Authors
Adel BouhoulaJean-Pierre Jouannaud
Publisher

Elsevier BV


Related search

Automated Learning Setups in Automata Learning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

The Quotient Operation on Input-Driven Pushdown Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Simulation Study of Learning Automata Games in Automated Highway Systems

English

Deadlock Avoidance Policies for Automated Manufacturing Systems Using Finite State Automata

Formal Methods in Manufacturing
2014English

Automated Design of Enzyme-Driven DNA Circuits

Biophysical Journal
Biophysics
2015English

An Automated Induction Microfluidics System for Synthetic Biology

English

Model-Driven Automated Error Recovery in Cloud Computing

English

Application of Provenance for Automated and Research Driven Workflows

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Electromagnetic Noise of Induction Motors Driven by PWM Inverters

IEEJ Transactions on Industry Applications
Electronic EngineeringIndustrialElectricalManufacturing Engineering
1999English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy