Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
regular expressions
Publications
Physics Assessment Generation Through Pattern Matching and Large Language Models
Marchotridyo
and
Fariska Zakhralativa Ruskanda
EasyChair Preprint 14739
A Review Paper on Generating Regular Language Using Regular Expression
Ruchita Chaudhari
,
Aditya Bhosale
,
Ashish Biradar
,
Kshitij Bisen
and
Chetan Chaudhari
EasyChair Preprint 7671
SMT-LIB Sequences and Regular Expressions
Nikolaj Bjorner
,
Vijay Ganesh
,
Raphaël Michel
and
Margus Veanes
In
:
SMT 2012. 10th International Workshop on Satisfiability Modulo Theories
A Resolution Calculus for Second-order Logic with Eager Unification
Alexander Leitsch
and
Tomer Libal
In
:
PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
Copyright © 2012-2024 easychair.org. All rights reserved.